An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science Vol. 420; pp. 44 - 53
Main Authors: Yao, Shucai, Sekerinski, Emil
Format: Journal Article
Language:English
Published: 27.05.2025
ISSN:2075-2180, 2075-2180
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Yao, Shucai
Sekerinski, Emil
Author_xml – sequence: 1
  givenname: Shucai
  surname: Yao
  fullname: Yao, Shucai
  organization: Huawai Technologies Canada
– sequence: 2
  givenname: Emil
  surname: Sekerinski
  fullname: Sekerinski, Emil
  organization: McMaster University
BookMark eNpNkE1rwkAYhJdiodZ66h_Ye4ndj6ybHK1YKwQiaM_h3a80YnZlEw_219fUHjqXeWCGOcwjGvngLULPlMxSRtLX1Xa_3A04E3dozIgUCaMZGf3jBzTtugO5iucszedj5BYer5xrdGN9jzft6WjbK0HfBI-Dw-szRJO8QWcN3l28_orBN9-32IWIweNSHazukzIOE9faNoY6Qts2vsYF-PoMtX1C9w6OnZ3--QR9vq_2y4-kKNeb5aJINOOkT6gSYJRMTS5tZnKRK1CZ4SSTqTTEcBBKQwacWqGosYyBoxrk3DityTx3fIJebrs6hq6L1lWn2LQQLxUl1fBS9fvSgJXgPypeXmo
Cites_doi 10.1145/2807591.2807635
10.1145/2786805.2786822
10.1145/800001.811672
10.1145/355620.361161
10.1145/269629.269652
10.1007/978-1-4419-8528-6
10.1017/CBO9781139195881
10.1145/956653.956654
10.1007/BF00268134
10.1145/3276500
10.1007/BF01558665
10.5555/2372549.2372551
10.1145/292469.292470
10.5555/1622876.1622895
10.1145/177492.177726
10.1007/978-1-4757-3472-0_6
10.1145/359576.359585
10.1007/978-3-540-39656-7_17
10.1145/949305.949340
10.1007/BFb0054286
10.1145/800015.808181
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.4204/EPTCS.420.5
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 53
ExternalDocumentID 10_4204_EPTCS_420_5
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c230t-1b5adb74d97e8d959bab8d308747d0d3a5bca8a31e5b1de22af1ca76dfcc069f3
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001504273200006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2075-2180
IngestDate Sat Nov 29 07:50:29 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c230t-1b5adb74d97e8d959bab8d308747d0d3a5bca8a31e5b1de22af1ca76dfcc069f3
OpenAccessLink https://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2025.5.pdf
PageCount 10
ParticipantIDs crossref_primary_10_4204_EPTCS_420_5
PublicationCentury 2000
PublicationDate 2025-05-27
PublicationDateYYYYMMDD 2025-05-27
PublicationDate_xml – month: 05
  year: 2025
  text: 2025-05-27
  day: 27
PublicationDecade 2020
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2025
References Birtwisle (birtwisleSimulaBegin1975) 1975
Ishikawa (ishikawa1984design) 1984; 12
Hewitt (hewitt1971procedural) 1971
Sekerinski (Sekerinski03SimpleCOOP) 2003
Yao (Yao20GuardBasedSynchronization) 2020
West (west2015efficient) 2015
INMOS Limited (inmos1984occam) 1984
Sekerinski (sekerinski2002concurrent) 2002
Bonsangue (bonsangue1998approach) 1998
Hoare (hoare1974monitors) 1974; 17
Chandy (misra1988parallel) 1988
Cui (cui2009experimental) 2009
Faes (faes2018concurrency) 2018; 2
Siegel (10.1145/2807591.2807635) 2015
Dijkstra (dijkstra1968structure) 1967
Hoare (hoare1978communicating) 1978; 21
Brosgol (brosgol1997comparison) 1997
Harris (harris2003language) 2003; 38
Lamport (lamport1994temporal) 1994; 16
Misra (misra2001discipline) 2001
Andrews (andrews1991concurrent) 1991
Büchi (buchi2000foundation) 2000; 44
Ichbiah (ichbiah1979rationale) 1979; 14
Owicki (owicki1976axiomatic) 1976; 6
Abrial (abrialModelingEventBSystem2010) 2010
Briot (briot1998concurrency) 1998; 30
Hoare (hoare1972towards) 1972
Armstrong (armstrong1993concurrent) 1996
Back (back1989decentralization) 1989; 3
References_xml – volume-title: Concurrent Programming in ERLANG (2nd Edition)
  year: 1996
  ident: armstrong1993concurrent
– volume-title: Parallel Program Design: A Foundation
  year: 1988
  ident: misra1988parallel
– start-page: 1
  volume-title: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis
  year: 2015
  ident: 10.1145/2807591.2807635
  article-title: CIVL: The Concurrency Intermediate Verification Language
  doi: 10.1145/2807591.2807635
– start-page: 734
  volume-title: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
  year: 2015
  ident: west2015efficient
  article-title: Efficient and reasonable object-oriented concurrency
  doi: 10.1145/2786805.2786822
– volume-title: Proceedings of the First ACM Symposium on Operating System Principles
  year: 1967
  ident: dijkstra1968structure
  article-title: The structure of the THE multiprogramming system
  doi: 10.1145/800001.811672
– volume: 17
  start-page: 549
  issue: 10
  year: 1974
  ident: hoare1974monitors
  article-title: Monitors: An operating system structuring concept
  publication-title: Communications of the ACM
  doi: 10.1145/355620.361161
– start-page: 213
  volume-title: Annual International Conference on Ada: Proceedings of the conference on TRI-Ada'97
  year: 1997
  ident: brosgol1997comparison
  article-title: A comparison of the object-oriented features of Ada 95 and Java
  doi: 10.1145/269629.269652
– start-page: 1
  volume-title: A Discipline of Multiprogramming: A Programming Theory for Distributed Applications
  year: 2001
  ident: misra2001discipline
  article-title: A discipline of multiprogramming
  doi: 10.1007/978-1-4419-8528-6
– volume-title: Modeling in Event-B: System and Software Engineering
  year: 2010
  ident: abrialModelingEventBSystem2010
  doi: 10.1017/CBO9781139195881
– volume: 14
  start-page: 1
  year: 1979
  ident: ichbiah1979rationale
  article-title: Rationale for the design of the Ada programming language
  publication-title: SIGPLAN Notices
  doi: 10.1145/956653.956654
– volume: 6
  start-page: 319
  issue: 4
  year: 1976
  ident: owicki1976axiomatic
  article-title: An axiomatic proof technique for parallel programs I
  publication-title: Acta Informatica
  doi: 10.1007/BF00268134
– start-page: 1
  volume-title: International Conference Internet, Processing, Systems, Interdisciplinaries, IPSI 2003
  year: 2003
  ident: Sekerinski03SimpleCOOP
  article-title: A Simple Model for Concurrent Object-Oriented Programming
– volume: 2
  issue: 130
  year: 2018
  ident: faes2018concurrency
  article-title: Concurrency-aware object-oriented programming with roles
  publication-title: Proceedings of the ACM on Programming Languages
  doi: 10.1145/3276500
– volume: 3
  start-page: 73
  issue: 2
  year: 1989
  ident: back1989decentralization
  article-title: Decentralization of process nets with centralized control
  publication-title: Distributed Computing
  doi: 10.1007/BF01558665
– volume-title: Occam Programming Manual
  year: 1984
  ident: inmos1984occam
– volume: 44
  start-page: 25
  year: 2000
  ident: buchi2000foundation
  article-title: A foundation for refining concurrent objects
  publication-title: Fundamenta Informaticae
  doi: 10.5555/2372549.2372551
– volume-title: Concurrent Programming: Principles and Practice
  year: 1991
  ident: andrews1991concurrent
– volume-title: An Efficient Implementation of Guard-based Synchronization for an Object-Oriented Programming Language
  year: 2020
  ident: Yao20GuardBasedSynchronization
– volume-title: Simula Begin
  year: 1975
  ident: birtwisleSimulaBegin1975
– volume: 30
  start-page: 291
  issue: 3
  year: 1998
  ident: briot1998concurrency
  article-title: Concurrency and distribution in object-oriented programming
  publication-title: ACM Computing Surveys (CSUR)
  doi: 10.1145/292469.292470
– volume-title: Proceedings of the 2nd International Joint Conference on Artificial Intelligence
  year: 1971
  ident: hewitt1971procedural
  article-title: Procedural Embedding of knowledge in Planner
  doi: 10.5555/1622876.1622895
– volume: 16
  start-page: 872
  issue: 3
  year: 1994
  ident: lamport1994temporal
  article-title: The temporal logic of actions
  publication-title: ACM Transactions on Programming Languages and Systems (TOPLAS)
  doi: 10.1145/177492.177726
– volume-title: An Experimental Implementation of Action-Based Concurrency
  year: 2009
  ident: cui2009experimental
– volume-title: Operating Systems Techniques, Proceedings of Seminar at Queen's University.
  year: 1972
  ident: hoare1972towards
  article-title: Towards a Theory of Parallel Programming
  doi: 10.1007/978-1-4757-3472-0_6
– volume: 21
  start-page: 666
  issue: 8
  year: 1978
  ident: hoare1978communicating
  article-title: Communicating sequential processes
  publication-title: Communications of the ACM
  doi: 10.1145/359576.359585
– start-page: 403
  volume-title: International Symposium on Formal Methods for Components and Objects
  year: 2002
  ident: sekerinski2002concurrent
  article-title: Concurrent object-oriented programs: From specification to code
  doi: 10.1007/978-3-540-39656-7_17
– volume: 38
  start-page: 388
  issue: 11
  year: 2003
  ident: harris2003language
  article-title: Language support for lightweight transactions
  publication-title: SIGPLAN Notices
  doi: 10.1145/949305.949340
– start-page: 68
  volume-title: International Conference on Mathematics of Program Construction
  year: 1998
  ident: bonsangue1998approach
  article-title: An approach to object-orientation in action systems
  doi: 10.1007/BFb0054286
– volume: 12
  start-page: 178
  issue: 3
  year: 1984
  ident: ishikawa1984design
  article-title: The design of an object oriented architecture
  publication-title: ACM SIGARCH Computer Architecture News
  doi: 10.1145/800015.808181
SSID ssj0000392496
Score 2.31113
SourceID crossref
SourceType Index Database
StartPage 44
Title An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Volume 420
WOSCitedRecordID wos001504273200006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: M~E
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LTxsxELYC7YELUAriUSofuFXbZh9er48pCuLQQiSCxC3ya0UEcRCEKHDg0F_e8WMfRBzooZfVxoqzUeaL5_N4vhmEjghlPGecRyq3LcysRldoSqJMg3dThKaldELhX_TsrLi6YoNO50-lhZnfUmOKxYLd_VdTwxgY20pn_8Hc9YfCANyD0eEKZofruwzfM7Zd8tgJHX3x30nQFzlm6DAR_QTnBUzzyUhXHPe5STmE__u5sMGZ6NyWQLaEdOBzuCZOEBXim68i-k0rncYfPoQMylomKUP_iG_B6dbrDXfR2ovrR8nHdcBH31hdYmiq3Z-ERJAQnkiIPVn3an-_iiXASSLgEf7wRb8xFpbhLOm2FlJfFDK4ZF9OeHmxhwkZGKM_GB5f2BffSePTqnP8JVdXJyDC1sdOH7nJ9nZEVtCHhBJm0wJ_vzRxum5qd6iuR2H1rb3M087_0Xp4i9i0GMpwE62HrQXueUh8Qh1tttBG1bYDh1X8Myp7BtcIwa8RgqclbiEELyEEA0IwN3gJIbiFEFwhZBtdnvSHx6dRaLcRSdiHzqJYEK4EzRSjulCMMMFFoWzFyIyqrko5EZIXPI01EbHSScLLWHKaq1LKbs7KdAetmqnRuwgLUuZAbIUGNpqxQnEWCyDSWZZwLoCT7qGj6rca3fmqKqM3TLL_vrcdoLUGeV_Q6uz-UR-ij3I-Gz_cf3Xm_Ath1XHU
linkProvider ISSN International Centre
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+Efficient+Implementation+of+Guard-Based+Synchronization+for+an+Object-Oriented+Programming+Language&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Yao%2C+Shucai&rft.au=Sekerinski%2C+Emil&rft.date=2025-05-27&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=420&rft.spage=44&rft.epage=53&rft_id=info:doi/10.4204%2FEPTCS.420.5&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_420_5
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon