Comparison of Process Algebra Equivalences Using Formats
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A format for semantic equivalence comparison
Theoretical Computer Science
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
| Hi-index | 0.00 |