共 50 条
- [2] A distributed algorithm for implementation of first-order multiparty interactions [J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 537 - 543
- [3] Model-based implementation of distributed systems with priorities [J]. Design Automation for Embedded Systems, 2013, 17 : 251 - 276
- [5] Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions [J]. INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 255 - 274
- [7] MULTIPI: A JAVA implementation of multiparty interaction for distributed computing [J]. Comput. Sci. Research, Education, and Applications Press (CSREA); International Technology Institute (ITI); Korean Society for Internet Information (KSII); World Academy of Science for Information Technology (WAS), 1600, 1455-1461 (2004):
- [8] Fairness in systems based on multiparty interactions [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (11-12): : 1093 - 1116
- [9] A Theory of Design-by-Contract for Distributed Multiparty Interactions [J]. CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 162 - +
- [10] Multipi: A Java']Java implementation of multiparty interaction for distributed computing [J]. PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2004, : 1455 - 1461