Coordinating first-order multiparty interactions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
On strong-feasibilities of equivalence-completions
PODC '96 Proceedings of the fifteenth 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
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strong Interaction Fairness Via Randomization
IEEE Transactions on Parallel and Distributed Systems
A multiparty coordination aspect language
ACM SIGPLAN Notices
An enablement detection algorithm for open multiparty interactions
Proceedings of the 2002 ACM symposium on Applied computing
Multi-Party Coordination in the Context of MOWS
Programming and Computing Software
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Fault-Tolerant Algorithms for Fair Interprocess Synchronization
IEEE Transactions on Parallel and Distributed Systems
Parallel Programming with Interacting Processes
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling of transactions for system-level test-case generation
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Hi-index | 0.00 |