A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Appraising fairness in distributed languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Observational trees as models for concurrency
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Computer Languages
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |