Modular Specification of Concurrent Systems with Observational Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Comparison of Process Algebra Equivalences Using Formats
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Hi-index | 0.00 |