Synchronization of concurrent processes without globality assumptions

A Calculus of Communicating Systems

A Calculus of Communicating Systems

Verifying Concurrent System Specification in COSY

MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science

A Formal Semantics for Concurrent Systems

Proceedings of the 6th Colloquium, on Automata, Languages and Programming

Adequate Path Expressions

Proceedings of the International Sympoisum on Semantics of Concurrent Computation

A Cosy Banker

Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming

Adequacy of Path Programs

Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications

The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium

On the abstract specification and formal analysis of synchronization properties of concurrent systems

Proceedings of the International Conference on Mathematical Studies of Information Processing

Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts

ACM SIGPLAN Notices