CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new and efficient implementation of multiprocess synchronization
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and concurrency
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
A distributed synchronization scheme for fair multi-process handshakes
Information Processing Letters
Coordinating first-order multiparty interactions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interacting processes: a language for coordinated distributed programming
JCIT Proceedings of the fifth Jerusalem conference on Information technology
Interacting processes: a multiparty approach to coordinated distributed programming
Interacting processes: a multiparty approach to coordinated distributed programming
Communicating sequential processes
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A New Class of High Level Programs for Distributed Computing Systems
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Multifaceted distributed systems specification using processes and event synchronization
ICSE '84 Proceedings of the 7th international conference on Software engineering
Occam Programming Manual
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An enablement detection algorithm for open multiparty interactions
Proceedings of the 2002 ACM symposium on Applied computing
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
We present a taxonomy of languages for multiparty interaction, which covers all proposals of which we are aware. Based on this taxonomy, we present a comprehensive analysis of the computational complexity of the multiparty interaction implementation problem, the problem of scheduling multiparty interactions in a given execution environment.