A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
CCS is an (augmented) contact free C/E system
Advanced School on Mathematical models for the semantics of parallelism
An exercise in concurrency: a CSP process as a condition/event system
Advances in Petri Nets 1988
A partial ordering semantics for CCS
Theoretical Computer Science
Towards the unification of models for concurrency
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
Universal axioms for bisimulations
Selected papers of the 3rd workshop on Concurrency and compositionality
Combining CCS and Petri nets via structural axioms
Fundamenta Informaticae
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science
Parameterized structured operational semantics
Fundamenta Informaticae
Functorial models for petri nets
Information and Computation
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
A Parametric Approach to Localities
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
A Distributed, Net Oriented Semantics for Delta Prolog
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Graph Grammars for distributed systems
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Partial orderings descriptions and observations of nondeterministic concurrent processes
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Bisimulation equivalences for graph grammars
Formal and natural computing
Liveness properties as convergence in metric spaces
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Mathematical Structures in Computer Science
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Nets, Terms and Formulas (Cambridge Tracts in Theoretical Computer Science)
Nets, Terms and Formulas (Cambridge Tracts in Theoretical Computer Science)
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
History-dependent automata: an introduction
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 0.00 |
This short note introduces the reader to the contributed papers in the area of concurrency theory that have been written in honour of Ugo Montanari. I also draw the attention to one of the contributions of Ugo in this area that, in my opinion, constitutes a pearl in theoretical computer science and would deserve to be investigated further.