Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Fairness and hyperfairness in multi-party interactions
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Coordinating first-order multiparty interactions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient fault-tolerant algorithms for distributed resource allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advances in exception handling techniques
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Some impossibility results in interprocess synchronization
Distributed Computing
Fairness and hyperfairness in multi-party interactions
Distributed Computing
Designing a multiway synchronization protocol
Computer Communications
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |