A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Proceedings of the International Seminar on Networking in Open Systems
A base for portable communications software
IBM Systems Journal
Hi-index | 0.00 |