Action-Based Concurrency and Synchronization for Objects. Back, R., Büchi, M., & Sekerinski, E. In Rus, T. & Bertran, M., editors, Transformation-Based Reactive System Development, Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, volume 1231, of Lecture Notes in Computer Science, pages 248–262, Palma, Mallorca, Spain, May, 1997. Springer-Verlag. ![Action-Based Concurrency and Synchronization for Objects [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi abstract bibtex We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.
@inproceedings{BackBuchiSekerinski97ActionBasedObjects,
address = {Palma, Mallorca, Spain},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Action-{Based} {Concurrency} and {Synchronization} for {Objects}},
volume = {1231},
url = {https://www.cas.mcmaster.ca/~emil/pubs/BackBuchiSekerinski97ActionBasedObjects.pdf},
doi = {10.1007/3-540-63010-4_17},
abstract = {We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.},
booktitle = {Transformation-{Based} {Reactive} {System} {Development}, {Fourth} {AMAST} {Workshop} on {Real}-{Time} {Systems}, {Concurrent}, and {Distributed} {Software}},
publisher = {Springer-Verlag},
author = {Back, Ralph and Büchi, Martin and Sekerinski, Emil},
editor = {Rus, T. and Bertran, M.},
month = may,
year = {1997},
pages = {248--262},
}
Downloads: 0
{"_id":"GSXBHw7Pohpbky6TD","bibbaseid":"back-bchi-sekerinski-actionbasedconcurrencyandsynchronizationforobjects-1997","downloads":0,"creationDate":"2019-02-02T15:48:53.605Z","title":"Action-Based Concurrency and Synchronization for Objects","author_short":["Back, R.","Büchi, M.","Sekerinski, E."],"year":1997,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Palma, Mallorca, Spain","series":"Lecture Notes in Computer Science","title":"Action-Based Concurrency and Synchronization for Objects","volume":"1231","url":"https://www.cas.mcmaster.ca/~emil/pubs/BackBuchiSekerinski97ActionBasedObjects.pdf","doi":"10.1007/3-540-63010-4_17","abstract":"We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.","booktitle":"Transformation-Based Reactive System Development, Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Back"],"firstnames":["Ralph"],"suffixes":[]},{"propositions":[],"lastnames":["Büchi"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Rus"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Bertran"],"firstnames":["M."],"suffixes":[]}],"month":"May","year":"1997","pages":"248–262","bibtex":"@inproceedings{BackBuchiSekerinski97ActionBasedObjects,\n\taddress = {Palma, Mallorca, Spain},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Action-{Based} {Concurrency} and {Synchronization} for {Objects}},\n\tvolume = {1231},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/BackBuchiSekerinski97ActionBasedObjects.pdf},\n\tdoi = {10.1007/3-540-63010-4_17},\n\tabstract = {We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.},\n\tbooktitle = {Transformation-{Based} {Reactive} {System} {Development}, {Fourth} {AMAST} {Workshop} on {Real}-{Time} {Systems}, {Concurrent}, and {Distributed} {Software}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Back, Ralph and Büchi, Martin and Sekerinski, Emil},\n\teditor = {Rus, T. and Bertran, M.},\n\tmonth = may,\n\tyear = {1997},\n\tpages = {248--262},\n}\n\n","author_short":["Back, R.","Büchi, M.","Sekerinski, E."],"editor_short":["Rus, T.","Bertran, M."],"key":"BackBuchiSekerinski97ActionBasedObjects","id":"BackBuchiSekerinski97ActionBasedObjects","bibbaseid":"back-bchi-sekerinski-actionbasedconcurrencyandsynchronizationforobjects-1997","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/BackBuchiSekerinski97ActionBasedObjects.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["action","based","concurrency","synchronization","objects","back","büchi","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ezsmw4w22u9JFLNYJ","RWydLHbBJqgdeh5jr","CvQYP6Tmpapx74Mgr"]}