An order-based algorithm for implementing multiparty synchronization
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interac...
Saved in:
| Published in | Concurrency and computation Vol. 16; no. 12; pp. 1173 - 1206 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Chichester, UK
John Wiley & Sons, Ltd
01.10.2004
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1532-0626 1532-0634 |
| DOI | 10.1002/cpe.903 |
Cover
| Abstract | Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interactions to be known at compile‐ or run‐time, and it can deal with both terminating and non‐terminating systems. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, and compare the results with well‐known proposals by other authors. This study proves that our algorithm still performs comparably to other proposals in which the set of entities and interactions is known beforehand, but outperforms them in some situations that are clearly identified. In addition, these results prove that our algorithm can be combined with a technique called synchrony loosening without having an effect on efficiency. Copyright © 2004 John Wiley & Sons, Ltd. |
|---|---|
| AbstractList | Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interactions to be known at compile‐ or run‐time, and it can deal with both terminating and non‐terminating systems. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, and compare the results with well‐known proposals by other authors. This study proves that our algorithm still performs comparably to other proposals in which the set of entities and interactions is known beforehand, but outperforms them in some situations that are clearly identified. In addition, these results prove that our algorithm can be combined with a technique called synchrony loosening without having an effect on efficiency. Copyright © 2004 John Wiley & Sons, Ltd. Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interactions to be known at compile- or run-time, and it can deal with both terminating and non- terminating systems. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, and compare the results with well-known proposals by other authors. This study proves that our algorithm still performs comparably to other proposals in which the set of entities and interactions is known beforehand, but outperforms them in some situations that are clearly identified. In addition, these results prove that our algorithm can be combined with a technique called synchrony loosening without having an effect on efficiency. |
| Author | Pérez, José A. Corchuelo, Rafael Toro, Miguel |
| Author_xml | – sequence: 1 givenname: José A. surname: Pérez fullname: Pérez, José A. email: jperez@lsi.us.es organization: The Distributed Group, University of Seville, Spain – sequence: 2 givenname: Rafael surname: Corchuelo fullname: Corchuelo, Rafael organization: The Distributed Group, University of Seville, Spain – sequence: 3 givenname: Miguel surname: Toro fullname: Toro, Miguel organization: The Distributed Group, University of Seville, Spain |
| BookMark | eNp10M1KxDAUBeAgCv7iK3SlC-mYNm2aLGUcHUXGERSXIU1vNdomNcmg9emtjgwourp38XHgnG20bqwBhPYTPEowTo9VByOOyRraSnKSxpiSbH31p3QTbXv_hHGSYJJsodMTE1lXgYtL6aGKZPNgnQ6PbVRbF-m2a6AFE7R5iNpFE3QnXegj3xv16KzR7zJoa3bRRi0bD3vfdwfdnU1ux9P46vr8YnxyFSuSMhLXZcZKlUFZVxXjNSsorjhXeZkVlGecgSQsB6BYQaUoAC45K1JMOQWqEkbIDjpY5nbOvizAB9Fqr6BppAG78CJlKctIgQd4uITKWe8d1KJzupWuFwkWnyuJYSUxrDTI-JdUOnyVCk7q5g9_tPSvuoH-v1gxnk9-pGsf4G2lpXsWtCBFLu5n52KeTi_zKZ-JG_IBzxuJuw |
| CitedBy_id | crossref_primary_10_4204_EPTCS_73_2 crossref_primary_10_4204_EPTCS_30_3 crossref_primary_10_1007_s10703_011_0138_9 crossref_primary_10_4204_EPTCS_140_5 crossref_primary_10_1007_s10009_016_0418_1 crossref_primary_10_1007_s10270_014_0451_z crossref_primary_10_1016_j_jlamp_2016_09_002 crossref_primary_10_1016_j_scico_2014_02_013 crossref_primary_10_1007_s00446_012_0168_6 crossref_primary_10_1016_j_jlap_2010_10_001 crossref_primary_10_1007_s10617_012_9091_0 |
| Cites_doi | 10.1145/369928.369939 10.1016/0167-6423(86)90018-3 10.1007/s001459910006 10.1145/227595.227601 10.1109/ICDCS.1990.89299 10.1007/3-540-46000-4_24 10.1145/83880.84526 10.1145/24039.24050 10.1002/cpe.782 10.1007/s002360050167 10.1007/3-540-44564-1_8 10.1145/1780.1804 10.1109/ICDSC.2001.918988 10.1007/3-540-45706-2_77 10.1145/320385.320431 10.1145/508791.508863 10.1007/3-540-44564-1_6 10.1007/BFb0053381 10.1109/32.31364 10.1007/3-540-44905-1_13 10.1142/S0218194001000517 10.1145/356586.356588 10.1109/71.663873 10.1002/cpe.635 10.1007/3-540-61440-0_121 10.1145/143165.143197 10.1007/BFb0057032 10.1016/S1389-1286(02)00398-5 10.17487/rfc2396 10.1007/BF02242710 10.1016/S0304-3975(98)00224-2 10.1109/32.41333 10.1145/177492.177739 |
| ContentType | Journal Article |
| Copyright | Copyright © 2004 John Wiley & Sons, Ltd. |
| Copyright_xml | – notice: Copyright © 2004 John Wiley & Sons, Ltd. |
| DBID | BSCLL AAYXX CITATION 7SC 8FD H8D JQ2 L7M L~C L~D |
| DOI | 10.1002/cpe.903 |
| DatabaseName | Istex CrossRef Computer and Information Systems Abstracts Technology Research Database Aerospace Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Aerospace Database Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Aerospace Database CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1532-0634 |
| EndPage | 1206 |
| ExternalDocumentID | 10_1002_cpe_903 CPE903 ark_67375_WNG_P2HJ5H9N_Q |
| Genre | article |
| GrantInformation_xml | – fundername: Spanish Ministry of Science and Technology funderid: TIC‐2003‐02737‐C02‐01; FIT‐150100‐2001‐78 |
| GroupedDBID | .3N .DC .GA .Y3 05W 0R~ 10A 1L6 1OB 1OC 31~ 33P 3SF 3WU 4.4 50Y 50Z 51W 51X 52M 52N 52O 52P 52S 52T 52U 52W 52X 5GY 5VS 66C 702 7PT 8-0 8-1 8-3 8-4 8-5 8UM 930 A03 AAESR AAEVG AAHQN AAMNL AANHP AANLZ AAONW AASGY AAXRX AAYCA AAZKR ABCQN ABCUV ABEML ABIJN ACAHQ ACBWZ ACCZN ACPOU ACRPL ACSCC ACXBN ACXQS ACYXJ ADBBV ADEOM ADIZJ ADKYN ADMGS ADMLS ADNMO ADOZA ADXAS ADZMN AEIGN AEIMD AEUYR AEYWJ AFBPY AFFPM AFGKR AFWVQ AFZJQ AGHNM AGQPQ AGYGG AHBTC AITYG AIURR AJXKR ALMA_UNASSIGNED_HOLDINGS ALUQN ALVPJ AMBMR AMYDB ASPBG ATUGU AUFTA AVWKF AZBYB AZFZN BAFTC BDRZF BFHJK BHBCM BMNLL BROTX BRXPI BSCLL BY8 CS3 D-E D-F DCZOG DPXWK DR2 DRFUL DRSTM EBS EJD F00 F01 F04 F5P FEDTE G-S G.N GNP GODZA HF~ HGLYW HHY HVGLF HZ~ IX1 JPC KQQ LATKE LAW LC2 LC3 LEEKS LH4 LITHE LOXES LP6 LP7 LUTES LW6 LYRES MEWTI MK4 MRFUL MRSTM MSFUL MSSTM MXFUL MXSTM N04 N05 N9A O66 O9- OIG P2W P2X P4D PQQKQ Q.N Q11 QB0 QRW R.K ROL RX1 SUPJJ TN5 UB1 V2E W8V W99 WBKPD WIH WIK WOHZO WQJ WXSBR WYISQ WZISG XG1 XV2 ~IA ~WT AAHHS ACCFJ ADZOD AEEZP AEQDE AEUQT AFPWT AIWBW AJBDE RWI WRC AAYXX CITATION 7SC 8FD H8D JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c3283-fb48bc4ebfdd89f8760d99c5b4769498ea385ee60cedc6ee0b98720696e6c1833 |
| IEDL.DBID | DR2 |
| ISSN | 1532-0626 |
| IngestDate | Thu Oct 02 20:15:20 EDT 2025 Thu Apr 24 23:12:31 EDT 2025 Wed Oct 01 00:58:44 EDT 2025 Wed Jan 22 17:00:20 EST 2025 Sun Sep 21 06:18:21 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 12 |
| Language | English |
| License | http://onlinelibrary.wiley.com/termsAndConditions#vor |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c3283-fb48bc4ebfdd89f8760d99c5b4769498ea385ee60cedc6ee0b98720696e6c1833 |
| Notes | ArticleID:CPE903 Spanish Ministry of Science and Technology - No. TIC-2003-02737-C02-01; No. FIT-150100-2001-78 istex:B61F9CA02BE3E230D04BB60BE1EC16E7CE488223 ark:/67375/WNG-P2HJ5H9N-Q ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 28284370 |
| PQPubID | 23500 |
| PageCount | 34 |
| ParticipantIDs | proquest_miscellaneous_28284370 crossref_primary_10_1002_cpe_903 crossref_citationtrail_10_1002_cpe_903 wiley_primary_10_1002_cpe_903_CPE903 istex_primary_ark_67375_WNG_P2HJ5H9N_Q |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | October 2004 |
| PublicationDateYYYYMMDD | 2004-10-01 |
| PublicationDate_xml | – month: 10 year: 2004 text: October 2004 |
| PublicationDecade | 2000 |
| PublicationPlace | Chichester, UK |
| PublicationPlace_xml | – name: Chichester, UK |
| PublicationTitle | Concurrency and computation |
| PublicationTitleAlternate | Concurrency Computat.: Pract. Exper |
| PublicationYear | 2004 |
| Publisher | John Wiley & Sons, Ltd |
| Publisher_xml | – name: John Wiley & Sons, Ltd |
| References | Lawler EL, Lenstra JK, Rinooy Kan AHG, Shmoys DB. The Traveling Salesman Problem. Wiley: New York, 1985. Ruiz D, Corchuelo R, Toro M. Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 2003; 15(11-12):1093-1116. Ruiz D, Corchuelo R, Toro M. Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 2003; 15(9):1093-1116. Bauer B, Müller J, Odell J. Agent UML: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering 2001; 11(3):207-230. Charlesworth A. The multiway rendezvous. ACM Transactions on Programming Languages and Systems 1987; 9(2):350-366. Tsay YK, Bagrodia RL. Some impossibility results in interprocess synchronization. Distributed Computing 1993; 6(4):221-231. Corchuelo R, Pérez JA, Ruiz-Cortés A. Aspect-oriented interaction in multi-organizational Web-based systems. Computer Networks 2003; 41(4):385-406. Chandy KM, Misra J. The drinking philosophers problem. ACM Transactions on Programming Languages and Systems 1984; 6(4):632-646. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice-Hall: Schenectady, NY, 1991. Reenskaug T, Wold P, Lehne OA. Working With Objects. The OOram Software Engineering Method. Manning: Greenwich, CT, 1995. Ehrich H-D, Caleiro C. Specifying communication in distributed information systems. Acta Informatica 2000; 36:591-616. Evangelist M, Francez N, Katz S. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering 1989; 15(11):1417-1426. Canetti R. Security and composition of multiparty cryptographic protocols. Journal of Cryptology 2000; 13(1):143-202. Francez N, Hailpern BT, Taubenfeld G. Script: A communication abstraction mechanism and its verification. Science of Computer Programming 1986; 6(1):35-88. Joung Y-J. Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability. Theoretical Computer Science 2000; 243(1-2):307-338. Gray J, Reuter A. Transaction Processing. Morgan Kaufmann: San Mateo, CA, 1993. Bagrodia RL. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering 1989; 15(9):1053-1065. Zorzo AF, Stroud RJ. A distributed object-oriented framework for dependable multiparty interactions. ACM SIGPLAN Notices 1999; 34(10):435-446. Lea D. Concurrent Programming Using Java: Design Principles and Pattern (2nd edn). Addison-Wesley: Reading, MA, 1999. Barnes J. Programming in Ada'95. Addison-Wesley: Reading, MA, 1995. Booch G. Object-Oriented Design with Applications. Benjamin-Cummings: Redwood City, CA, 1990. Coffman EG, Elphick MJ, Shoshani A. System deadlocks. Computing Surveys 1971; 3(2):67-78. Chandy KM, Misra J. Parallel Program Design: A Foundation. Addison-Wesley: Reading, MA, 1988. Joung Y-J, Smolka SA. Strong interaction fairness via randomization. IEEE Transactions on Parallel and Distributed Systems 1998; 9(2):137-149. Englander R. Java and SOAP. O'Reilly & Associates: London, 2002. Rogerson D. Inside COM. Microsoft Press: New York, 1997. Hoare CAR. Communicating Sequential Processes. Prentice-Hall: Englewood Cliffs, NJ, 1985. Joung Y-J, Smolka SA. Coordinating first-order multiparty interactions. ACM Transactions on Programming Languages and Systems 1994; 16(3):954-985. Andrews GE, Olsson RA. The SR Programming Language. Benjamin-Cummings: Redwood City, CA, 1993. Hartley SJ. Operating Systems Programming: The SR Programming Language. Oxford University Press: Oxford, 1997. Coad P, Yourdon E. Object-Oriented Analysis (Computing Series). Yourdon Press: Englewood Cliffs, NJ, 1990. Wirfs-Brock R, Wilkerson B. Designing Object-Oriented Software. Prentice-Hall: Englewood Cliffs, NJ, 1990. Felber P, Reiter MK. Advanced concurrency control in Java. Concurrency and Computation: Practice and Experience 2002; 14(4):261-285. Lynch NA, Merritt M, Weihl WE, Fekete A. Atomic Transactions. Morgan Kaufmann: San Mateo, CA, 1994. Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual (Object Technology Series, vol. 1). Addison-Wesley/Longman: Reading, MA, 1999. Corchuelo R, Pérez JA, Toro M. A multiparty coordination aspect language. ACM SIGPLAN Notices 2000; 35(12):24-32. Francez N, Forman I. Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. Addison-Wesley: Reading, MA, 1996. Joung Y-J, Smolka SA. A comprehensive study of the complexity of multiparty interaction. Journal of the ACM 1996; 43(1):75-115. D'Souza DF, Wills AC. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley: Reading, MA, 1999. 2002; 14 1987; 9 1998 1997 1996 2003; 15 1995 1972 1994 1993 2004 1992 2002 1991 1999 1993; 6 2001 2000; 36 1990 2000 2000; 35 2000; 13 1984; 6 1986; 6 1999; 34 1985 1994; 16 2000; 243 2001; 1 1980 1989; 15 2001; 11 2003; 41 1996; 43 1998; 9 1988 1971; 3 Englander R (e_1_2_1_34_2) 2002 Rumbaugh J (e_1_2_1_40_2) 1991 Andrews GE (e_1_2_1_4_2) 1993 e_1_2_1_41_2 e_1_2_1_45_2 e_1_2_1_60_2 e_1_2_1_20_2 e_1_2_1_43_2 e_1_2_1_62_2 e_1_2_1_26_2 e_1_2_1_49_2 Hilderink GH (e_1_2_1_6_2) 1997 e_1_2_1_24_2 e_1_2_1_47_2 e_1_2_1_68_2 Gray J (e_1_2_1_57_2) 1993 Pérez JA (e_1_2_1_65_2) 2001 Lawler EL (e_1_2_1_66_2) 1985 Lea D (e_1_2_1_16_2) 1999 Chandy KM (e_1_2_1_22_2) 1988 e_1_2_1_54_2 Lynch NA (e_1_2_1_28_2) 1980 Corchuelo R (e_1_2_1_58_2) 1999 e_1_2_1_56_2 e_1_2_1_12_2 e_1_2_1_33_2 e_1_2_1_50_2 e_1_2_1_10_2 e_1_2_1_31_2 e_1_2_1_14_2 e_1_2_1_35_2 e_1_2_1_8_2 e_1_2_1_18_2 Francez N (e_1_2_1_13_2) 1996 Hoare CAR (e_1_2_1_2_2) 1985 D'Souza DF (e_1_2_1_9_2) 1999 e_1_2_1_67_2 Hartley SJ (e_1_2_1_5_2) 1997 e_1_2_1_23_2 e_1_2_1_44_2 e_1_2_1_61_2 e_1_2_1_21_2 e_1_2_1_63_2 e_1_2_1_27_2 e_1_2_1_48_2 e_1_2_1_25_2 e_1_2_1_46_2 e_1_2_1_69_2 e_1_2_1_29_2 Dijkstra EW (e_1_2_1_51_2) 1972 Barnes J (e_1_2_1_3_2) 1995 Rumbaugh J (e_1_2_1_19_2) 1999 Coad P (e_1_2_1_39_2) 1990 Reenskaug T (e_1_2_1_42_2) 1995 Fayad M (e_1_2_1_36_2) 2001 e_1_2_1_30_2 e_1_2_1_53_2 Corchuelo R (e_1_2_1_64_2) 1998 e_1_2_1_7_2 Rogerson D (e_1_2_1_55_2) 1997 e_1_2_1_11_2 e_1_2_1_32_2 e_1_2_1_15_2 e_1_2_1_38_2 Booch G (e_1_2_1_37_2) 1990 e_1_2_1_17_2 Lynch NA (e_1_2_1_52_2) 1994 e_1_2_1_59_2 |
| References_xml | – reference: Lawler EL, Lenstra JK, Rinooy Kan AHG, Shmoys DB. The Traveling Salesman Problem. Wiley: New York, 1985. – reference: Hoare CAR. Communicating Sequential Processes. Prentice-Hall: Englewood Cliffs, NJ, 1985. – reference: Booch G. Object-Oriented Design with Applications. Benjamin-Cummings: Redwood City, CA, 1990. – reference: Francez N, Hailpern BT, Taubenfeld G. Script: A communication abstraction mechanism and its verification. Science of Computer Programming 1986; 6(1):35-88. – reference: Corchuelo R, Pérez JA, Toro M. A multiparty coordination aspect language. ACM SIGPLAN Notices 2000; 35(12):24-32. – reference: Bauer B, Müller J, Odell J. Agent UML: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering 2001; 11(3):207-230. – reference: Francez N, Forman I. Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. Addison-Wesley: Reading, MA, 1996. – reference: Joung Y-J, Smolka SA. Coordinating first-order multiparty interactions. ACM Transactions on Programming Languages and Systems 1994; 16(3):954-985. – reference: Ruiz D, Corchuelo R, Toro M. Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 2003; 15(11-12):1093-1116. – reference: Canetti R. Security and composition of multiparty cryptographic protocols. Journal of Cryptology 2000; 13(1):143-202. – reference: Reenskaug T, Wold P, Lehne OA. Working With Objects. The OOram Software Engineering Method. Manning: Greenwich, CT, 1995. – reference: Lynch NA, Merritt M, Weihl WE, Fekete A. Atomic Transactions. Morgan Kaufmann: San Mateo, CA, 1994. – reference: Joung Y-J, Smolka SA. Strong interaction fairness via randomization. IEEE Transactions on Parallel and Distributed Systems 1998; 9(2):137-149. – reference: Chandy KM, Misra J. The drinking philosophers problem. ACM Transactions on Programming Languages and Systems 1984; 6(4):632-646. – reference: Corchuelo R, Pérez JA, Ruiz-Cortés A. Aspect-oriented interaction in multi-organizational Web-based systems. Computer Networks 2003; 41(4):385-406. – reference: D'Souza DF, Wills AC. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley: Reading, MA, 1999. – reference: Rogerson D. Inside COM. Microsoft Press: New York, 1997. – reference: Barnes J. Programming in Ada'95. Addison-Wesley: Reading, MA, 1995. – reference: Coad P, Yourdon E. Object-Oriented Analysis (Computing Series). Yourdon Press: Englewood Cliffs, NJ, 1990. – reference: Bagrodia RL. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering 1989; 15(9):1053-1065. – reference: Hartley SJ. Operating Systems Programming: The SR Programming Language. Oxford University Press: Oxford, 1997. – reference: Englander R. Java and SOAP. O'Reilly & Associates: London, 2002. – reference: Wirfs-Brock R, Wilkerson B. Designing Object-Oriented Software. Prentice-Hall: Englewood Cliffs, NJ, 1990. – reference: Gray J, Reuter A. Transaction Processing. Morgan Kaufmann: San Mateo, CA, 1993. – reference: Coffman EG, Elphick MJ, Shoshani A. System deadlocks. Computing Surveys 1971; 3(2):67-78. – reference: Ehrich H-D, Caleiro C. Specifying communication in distributed information systems. Acta Informatica 2000; 36:591-616. – reference: Charlesworth A. The multiway rendezvous. ACM Transactions on Programming Languages and Systems 1987; 9(2):350-366. – reference: Andrews GE, Olsson RA. The SR Programming Language. Benjamin-Cummings: Redwood City, CA, 1993. – reference: Lea D. Concurrent Programming Using Java: Design Principles and Pattern (2nd edn). Addison-Wesley: Reading, MA, 1999. – reference: Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual (Object Technology Series, vol. 1). Addison-Wesley/Longman: Reading, MA, 1999. – reference: Felber P, Reiter MK. Advanced concurrency control in Java. Concurrency and Computation: Practice and Experience 2002; 14(4):261-285. – reference: Evangelist M, Francez N, Katz S. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering 1989; 15(11):1417-1426. – reference: Ruiz D, Corchuelo R, Toro M. Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 2003; 15(9):1093-1116. – reference: Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice-Hall: Schenectady, NY, 1991. – reference: Zorzo AF, Stroud RJ. A distributed object-oriented framework for dependable multiparty interactions. ACM SIGPLAN Notices 1999; 34(10):435-446. – reference: Joung Y-J. Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability. Theoretical Computer Science 2000; 243(1-2):307-338. – reference: Chandy KM, Misra J. Parallel Program Design: A Foundation. Addison-Wesley: Reading, MA, 1988. – reference: Tsay YK, Bagrodia RL. Some impossibility results in interprocess synchronization. Distributed Computing 1993; 6(4):221-231. – reference: Joung Y-J, Smolka SA. A comprehensive study of the complexity of multiparty interaction. Journal of the ACM 1996; 43(1):75-115. – year: 1985 – start-page: 220 year: 1997 end-page: 242 – volume: 243 start-page: 307 issue: 1–2 year: 2000 end-page: 338 article-title: Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability publication-title: Theoretical Computer Science – volume: 6 start-page: 632 issue: 4 year: 1984 end-page: 646 article-title: The drinking philosophers problem publication-title: ACM Transactions on Programming Languages and Systems – start-page: 318 year: 1999 end-page: 323 – start-page: 161 year: 2001 end-page: 174 – start-page: 360 year: 1991 end-page: 375 – start-page: 72 year: 1972 end-page: 93 – volume: 35 start-page: 24 issue: 12 year: 2000 end-page: 32 article-title: A multiparty coordination aspect language publication-title: ACM SIGPLAN Notices – volume: 16 start-page: 954 issue: 3 year: 1994 end-page: 985 article-title: Coordinating first‐order multiparty interactions publication-title: ACM Transactions on Programming Languages and Systems – year: 1990 – year: 1994 – year: 1998 – volume: 36 start-page: 591 year: 2000 end-page: 616 article-title: Specifying communication in distributed information systems publication-title: Acta Informatica – start-page: 320 year: 1990 end-page: 327 – volume: 6 start-page: 221 issue: 4 year: 1993 end-page: 231 article-title: Some impossibility results in interprocess synchronization publication-title: Distributed Computing – year: 2004 – year: 1997 – volume: 41 start-page: 385 issue: 4 year: 2003 end-page: 406 article-title: Aspect‐oriented interaction in multi‐organizational Web‐based systems publication-title: Computer Networks – start-page: 142 year: 1992 end-page: 153 – year: 1993 – volume: 14 start-page: 261 issue: 4 year: 2002 end-page: 285 article-title: Advanced concurrency control in Java publication-title: Concurrency and Computation: Practice and Experience – volume: 15 start-page: 1053 issue: 9 year: 1989 end-page: 1065 article-title: Process synchronization: Design and performance evaluation of distributed algorithms publication-title: IEEE Transactions on Software Engineering – volume: 13 start-page: 143 issue: 1 year: 2000 end-page: 202 article-title: Security and composition of multiparty cryptographic protocols publication-title: Journal of Cryptology – start-page: 91 year: 2001 end-page: 103 – volume: 9 start-page: 137 issue: 2 year: 1998 end-page: 149 article-title: Strong interaction fairness via randomization publication-title: IEEE Transactions on Parallel and Distributed Systems – year: 1996 – volume: 9 start-page: 350 issue: 2 year: 1987 end-page: 366 article-title: The multiway rendezvous publication-title: ACM Transactions on Programming Languages and Systems – start-page: 250 year: 2002 end-page: 257 – start-page: 283 year: 1997 end-page: 325 – year: 1992 – start-page: 121 year: 2001 end-page: 140 – start-page: 310 year: 1998 end-page: 312 – volume: 34 start-page: 435 issue: 10 year: 1999 end-page: 446 article-title: A distributed object‐oriented framework for dependable multiparty interactions publication-title: ACM SIGPLAN Notices – volume: 15 start-page: 1417 issue: 11 year: 1989 end-page: 1426 article-title: Multiparty interactions for interprocess communication and synchronization publication-title: IEEE Transactions on Software Engineering – start-page: 3 year: 2000 end-page: 17 – volume: 1 start-page: 124 year: 2001 end-page: 128 – volume: 15 start-page: 1093 issue: 11–12 year: 2003 end-page: 1116 article-title: Fairness in systems based on multiparty interactions publication-title: Concurrency and Computation: Practice and Experience – start-page: 101 year: 2001 end-page: 108 – volume: 3 start-page: 67 issue: 2 year: 1971 end-page: 78 article-title: System deadlocks publication-title: Computing Surveys – volume: 11 start-page: 207 issue: 3 year: 2001 end-page: 230 article-title: Agent UML: A formalism for specifying multiagent software systems publication-title: International Journal of Software Engineering and Knowledge Engineering – year: 2002 – volume: 15 start-page: 1093 issue: 9 year: 2003 end-page: 1116 article-title: Fairness in systems based on multiparty interactions publication-title: Concurrency and Computation: Practice and Experience – year: 1988 – year: 1995 – start-page: 378 year: 2002 end-page: 384 – start-page: 110 year: 1996 end-page: 121 – volume: 6 start-page: 35 issue: 1 year: 1986 end-page: 88 article-title: Script: A communication abstraction mechanism and its verification publication-title: Science of Computer Programming – start-page: 201 year: 2000 end-page: 218 – start-page: 563 year: 2002 end-page: 572 – year: 1991 – volume: 43 start-page: 75 issue: 1 year: 1996 end-page: 115 article-title: A comprehensive study of the complexity of multiparty interaction publication-title: Journal of the ACM – start-page: 56 year: 1999 end-page: 65 – start-page: 575 year: 2001 end-page: 584 – start-page: 70 year: 1980 end-page: 81 – year: 1999 – ident: e_1_2_1_30_2 doi: 10.1145/369928.369939 – ident: e_1_2_1_31_2 doi: 10.1016/0167-6423(86)90018-3 – volume-title: Inside COM year: 1997 ident: e_1_2_1_55_2 – ident: e_1_2_1_59_2 doi: 10.1007/s001459910006 – ident: e_1_2_1_17_2 – ident: e_1_2_1_14_2 doi: 10.1145/227595.227601 – ident: e_1_2_1_27_2 doi: 10.1109/ICDCS.1990.89299 – ident: e_1_2_1_53_2 doi: 10.1007/3-540-46000-4_24 – start-page: 283 volume-title: Proceedings of the 20th World Occam and Transputer User Group Technical Meeting, WoTUG'20 year: 1997 ident: e_1_2_1_6_2 – volume-title: Atomic Transactions year: 1994 ident: e_1_2_1_52_2 – ident: e_1_2_1_48_2 – start-page: 72 volume-title: Operating Systems Techniques year: 1972 ident: e_1_2_1_51_2 – ident: e_1_2_1_41_2 doi: 10.1145/83880.84526 – ident: e_1_2_1_33_2 – ident: e_1_2_1_49_2 doi: 10.1145/24039.24050 – ident: e_1_2_1_63_2 doi: 10.1002/cpe.782 – volume-title: Transaction Processing year: 1993 ident: e_1_2_1_57_2 – ident: e_1_2_1_10_2 doi: 10.1007/s002360050167 – ident: e_1_2_1_47_2 doi: 10.1007/3-540-44564-1_8 – ident: e_1_2_1_60_2 doi: 10.1145/1780.1804 – ident: e_1_2_1_7_2 doi: 10.1109/ICDSC.2001.918988 – volume-title: Object‐Oriented Design with Applications year: 1990 ident: e_1_2_1_37_2 – volume-title: The Traveling Salesman Problem year: 1985 ident: e_1_2_1_66_2 – ident: e_1_2_1_23_2 – volume-title: Working With Objects. The OOram Software Engineering Method year: 1995 ident: e_1_2_1_42_2 – ident: e_1_2_1_68_2 doi: 10.1007/3-540-45706-2_77 – ident: e_1_2_1_15_2 – ident: e_1_2_1_29_2 doi: 10.1145/320385.320431 – volume-title: Java and SOAP year: 2002 ident: e_1_2_1_34_2 – ident: e_1_2_1_18_2 doi: 10.1145/508791.508863 – volume-title: Objects, Components, and Frameworks with UML: The Catalysis Approach year: 1999 ident: e_1_2_1_9_2 – volume-title: Object‐Oriented Modeling and Design year: 1991 ident: e_1_2_1_40_2 – ident: e_1_2_1_44_2 doi: 10.1007/3-540-44564-1_6 – start-page: 124 volume-title: Proceedings of the International Conference on Internet Computing, IC'2001 year: 2001 ident: e_1_2_1_36_2 – volume-title: Operating Systems Programming: The SR Programming Language year: 1997 ident: e_1_2_1_5_2 – ident: e_1_2_1_67_2 doi: 10.1007/BFb0053381 – ident: e_1_2_1_21_2 doi: 10.1109/32.31364 – start-page: 318 volume-title: Recent Advances in Signal Processing and Communications year: 1999 ident: e_1_2_1_58_2 – ident: e_1_2_1_20_2 doi: 10.1007/3-540-44905-1_13 – volume-title: Object‐Oriented Analysis (Computing Series) year: 1990 ident: e_1_2_1_39_2 – volume-title: Programming in Ada'95 year: 1995 ident: e_1_2_1_3_2 – ident: e_1_2_1_45_2 doi: 10.1142/S0218194001000517 – ident: e_1_2_1_54_2 doi: 10.1145/356586.356588 – volume-title: Parallel Program Design: A Foundation year: 1988 ident: e_1_2_1_22_2 – ident: e_1_2_1_25_2 doi: 10.1109/71.663873 – start-page: 161 volume-title: New Developments in Distributed Applications and Interoperable Systems year: 2001 ident: e_1_2_1_65_2 – ident: e_1_2_1_12_2 doi: 10.1002/cpe.635 – volume-title: Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming year: 1996 ident: e_1_2_1_13_2 – start-page: 70 volume-title: Proceedings of the 12th ACM Symposium on Theory of Computing year: 1980 ident: e_1_2_1_28_2 – ident: e_1_2_1_32_2 – ident: e_1_2_1_61_2 doi: 10.1007/3-540-61440-0_121 – ident: e_1_2_1_35_2 – ident: e_1_2_1_50_2 doi: 10.1145/143165.143197 – ident: e_1_2_1_38_2 doi: 10.1007/BFb0057032 – ident: e_1_2_1_46_2 – ident: e_1_2_1_43_2 – ident: e_1_2_1_8_2 doi: 10.1016/S1389-1286(02)00398-5 – volume-title: Communicating Sequential Processes year: 1985 ident: e_1_2_1_2_2 – start-page: 310 volume-title: Proceedings of the 5th European Concurrent Engineering Conference ECEC'98 year: 1998 ident: e_1_2_1_64_2 – volume-title: The SR Programming Language year: 1993 ident: e_1_2_1_4_2 – volume-title: The Unified Modeling Language Reference Manual year: 1999 ident: e_1_2_1_19_2 – ident: e_1_2_1_56_2 doi: 10.17487/rfc2396 – ident: e_1_2_1_62_2 doi: 10.1007/BF02242710 – ident: e_1_2_1_26_2 doi: 10.1016/S0304-3975(98)00224-2 – ident: e_1_2_1_11_2 doi: 10.1109/32.41333 – ident: e_1_2_1_24_2 doi: 10.1145/177492.177739 – ident: e_1_2_1_69_2 doi: 10.1002/cpe.782 – volume-title: Concurrent Programming Using Java: Design Principles and Pattern year: 1999 ident: e_1_2_1_16_2 |
| SSID | ssj0011031 |
| Score | 1.8162687 |
| Snippet | Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we... |
| SourceID | proquest crossref wiley istex |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1173 |
| SubjectTerms | concurrency control coordination multiparty synchronization |
| Title | An order-based algorithm for implementing multiparty synchronization |
| URI | https://api.istex.fr/ark:/67375/WNG-P2HJ5H9N-Q/fulltext.pdf https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fcpe.903 https://www.proquest.com/docview/28284370 |
| Volume | 16 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVEBS databaseName: Inspec with Full Text customDbUrl: eissn: 1532-0634 dateEnd: 20241102 omitProxy: false ssIdentifier: ssj0011031 issn: 1532-0626 databaseCode: ADMLS dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.ebsco.com/products/research-databases/inspec-full-text providerName: EBSCOhost – providerCode: PRVWIB databaseName: Wiley Online Library - Core collection (SURFmarket) issn: 1532-0626 databaseCode: DR2 dateStart: 19960101 customDbUrl: isFulltext: true eissn: 1532-0634 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011031 providerName: Wiley-Blackwell |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NS8MwGA6iFy9-i_Mzh-GtM23StDmOsTkGjimK4iU0aaqidmMf4Dz5E_yN_hLz0c1NEcRTDk1om_frSfLmeQEoC59mEmW-x2IWeUSHDG1SVGmBRLrFIQqYuZx81qbNK9K6CW9mSn05fojphpuxDOuvjYEnYnDyRRoqe6rCLM-nj6ldTF1MiaN8U7zAMaUGHtKY3V2XNSNPinFzcWjJTOnLHMichao21jRWwe3kK12KyWNlNBQV-fqNwPFfv7EGVgoECqtOZdbBgso3wOqkugMsjH0TNKo5tMScH2_vJtalMHm66_YfhvfPUCNd-PBcpJ7r4AddXqJWwzEcjHNpGXfdBc8tcNWoX9aaXlF1wZNYYw0vEyQWkiiRpWnMMu0tUcqYDAWJKCMsVgmOQ6UokiqVVCkkWBwFiDKqqNQOAm-Dxbybqx0AQ2xWpwlFhGCShHGCM3PSE_hE-jQNohI4nsiAy4KS3FTGeOKOTDngena4np0SgNOOPcfC8bPLsRXi9HnSfzRJa1HIr9unvBM0W2GTtfl5CRxNpMy1KZnzkSRX3dGAm9UnwREqgbKV2G-v4rVOXTe7f-u2B5YdOaRJANwHi8P-SB1oIDMUh1ZnPwF2l_Ar |
| linkProvider | Wiley-Blackwell |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NTtwwEB4hOMAFWgpi-Sk-IG5ZnMRx4iNCbFMKK0AgkDhYieO0KyCLll0Jeuoj9Bl5ks7E2W0BIaGefIitJDMez2d75huArdyXpeGl76lExZ5Al4EmJS0qJMY2jHigKDn5qCvTc3FwGV02UZWUC-P4ISYHbmQZ9XpNBk4H0jt_WUPNnW0rIvqcERJ3KQSITifUUT6VL3BcqYHHEbW7hFkautMMfOaJZkioD89g5r9gtfY2nQW4Gn-nCzK5bo-Gedv8fEHh-H8_8gHmGxDKdt2s-QhTtlqEhXGBB9bY-yfo7Fas5uZ8-vWb3F3Bspvv_UFv-OOWIdhlvdsm-hz9H3OhiTgTH9n9Y2Vq0l2X47kE5539s73UawoveCZEuOGVuUhyI2xeFkWiSlwweaGUiXIRSyVUYrMwiayV3NjCSGt5rpI44FJJKw2uEeEyTFf9yq4Ai0LaoGaSCxGKLEqysKTLnsAXxpdFELdge6wEbRpWciqOcaMdn3KgUToapdMCNul454g4XnfZrrU4eZ4NriluLY70RfeLPg7SgyhVXX3Sgs2xmjVaE12RZJXtj-41bUBFGPMWbNUqe-tVeu94H5vV93XbhNn07OhQH37tfluDOccVSfGA6zA9HIzsBuKaYf65nsB_AH489Ew |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT-MwEB4hkBAXYHmI8lh8QNxSnMR24iMCul0eVUEgkDhYieMAAtKqtBLsaX8Cv5FfgidOuwsICXHyIbaSeDyeL_E33wBspL7INc19T8Yy8pgNGdalhLEGiWwbchpITE4-aonmGdu_4BcVqxJzYZw-xOiHG3pGuV-jg5tulm_9Uw3VXVOXKPQ5wbiMkc63ezKSjvKxfIHTSg08alG7S5jFoVvVwDeRaAIn9fENzPwfrJbRpjEDl8PndCST2_qgn9b1n3cSjt97kVmYrkAo2Xar5geMmWIOZoYFHkjl7_PQ2C5Iqc358vcZw11GkrurTu-mf31PLNglN_cV-9zGP-KoiXYlPpGHp0KXorsux3MBzhp7pztNryq84OnQwg0vT1mcambSPMtimdsNk2ZSap6ySEgmY5OEMTdGUG0yLYyhqYyjgAopjNB2jwgXYbzoFGYJCA_xAzURlLGQJTxOwhwPewKfaV9kQVSDzaERlK5UybE4xp1yesqBsrOj7OzUgIw6dp0Qx8cum6UVR9eT3i3y1iKuzlu_VDto7vOmbKnjGqwPzaysN-ERSVKYzuBB4QcoCyNag43SZJ_dSu2092yz_LVu6zDZ3m2ow9-tgxWYclKRSAdchfF-b2DWLKzppz_L9fsKNvPz0A |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+order%E2%80%90based+algorithm+for+implementing+multiparty+synchronization&rft.jtitle=Concurrency+and+computation&rft.au=P%C3%A9rez%2C+Jos%C3%A9+A.&rft.au=Corchuelo%2C+Rafael&rft.au=Toro%2C+Miguel&rft.date=2004-10-01&rft.issn=1532-0626&rft.eissn=1532-0634&rft.volume=16&rft.issue=12&rft.spage=1173&rft.epage=1206&rft_id=info:doi/10.1002%2Fcpe.903&rft.externalDBID=n%2Fa&rft.externalDocID=10_1002_cpe_903 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1532-0626&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1532-0626&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1532-0626&client=summon |