A Spatial Logic for Querying Graphs
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
Ugo Montanari and Graph Transformation
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A graph syntax for processes and services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An algebra of hierarchical graphs
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
Hierarchical models for service-oriented systems
Rigorous software engineering for service-oriented systems
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |