Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Synthesis of concurrent systems with many similar sequential processes (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning about systems with many processes
Journal of the ACM (JACM)
Time-extraction for temporal logic-logic programming and local process time
Journal of Computer and System Sciences
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
Towards model checking spatial properties with SPIN
Proceedings of the 14th international SPIN conference on Model checking software
Graphical encoding of a spatial logic for the π-calculus
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Counterpart semantics for a second-order µ-calculus
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Counterpart Semantics for a Second-Order μ-Calculus
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
| Hi-index | 0.00 |