Foundations of Information Technology in the Era of Network and Mobile Computing is presented in ...

The collection of papers published in this book was initially presented at the Workshop on Softwa...

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency...

Invited Talks.- Regular and Algebraic Words and Ordinals.- Logical Semantics of Types for Concurr...

This book constitutes the thoroughly refereed post-conference proceedings of the 19th Internation...

Models and equality for logical programming.- Fifth generation computer project: Current research...

FP6 Project Overviews.- Project AEOLUS: An Overview.- MOBIUS: Mobility, Ubiquity, Security.- Sens...

Graph Transformation.- On the Concurrent Semantics of Algebraic Graph Grammars.- From Graph Trans...

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...

This book constitutes the proceedings of the First International Conference on Principles and Pra...

On the complexity of branching programs and decision trees for clique functions.- Average complex...

This book presents in their basic form the most important models of computation, their basic prog...