Synchronous and asynchronous experiments on processes
Information and Control
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Testing Equivalence for Processes
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Hi-index | 0.00 |