Proceedings of the Fourth Annual Symposium on Logic in computer science
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Towards scalable compositional analysis
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Span(Graph): A Categorial Algebra of Transition Systems
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science
| Hi-index | 0.00 |