CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Fairness
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Methodology for Developing Distributed Programs
IEEE Transactions on Software Engineering
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
A lattice-structured proof of a minimum spanning
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
An improved algorithm for decentralized extrema-finding in circular configurations of processes
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Multifaceted distributed systems specification using processes and event synchronization
ICSE '84 Proceedings of the 7th international conference on Software engineering
Script: A communication abstraction mechanism
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
IEEE Transactions on Software Engineering
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Interactors: a real-time executive with multiparty interactions in C++
ACM SIGPLAN Notices
| Hi-index | 0.00 |