Automatically assigned DDC number: 005117

Manually assigned DDC number: 005117

Number of references: 8

Title: Action-Based Concurrency and Synchronization for Objects

Author:

Author:

Author:

Subject: Ralph Back,Martin Buchi,Emil Sekerinski Action-Based Concurrency and Synchronization for Objects

Description: . 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. 1 Introduction Action-Oberon extends Oberon-2 [22] with actions for modeling parallel and distributed computations. The extension is based on the theory of action systems [6] and was proposed by Back and Sere [8] and implemented by Hedman [14]. An action system is a parallel or distributed program where parallel activity is described in terms of guard...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-05-19

Format: ps

Identifier: http://citeseer.ist.psu.edu/160278.html

Source: ftp://ftp.abo.fi/pub/cs/papers/mbuechi/ActionBasedConcurrency.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/21499.html"   Type="inproceedings"   CiteSeer_Book="Mathematics   of   Program   Construction"   CiteSeer_Volume=""   Title="Exploring   Summation   and   Product   Operators   in   the   Refinement   Calculus,">

            <identifier   Org="ISBN:3540601171"   Paper_ID="/21499.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/21499.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/21499.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540644059"   Paper_ID="/21499.html"   Extracted="3540644059"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540647376"   Paper_ID="/21499.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:9814021164"   Paper_ID="/21499.html"   Extracted="9814021164"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/143610.html"   Type="inproceedings"   CiteSeer_Book="PROCOMET"   CiteSeer_Volume=""   Title="Action   Systems   with   Synchronous   Communication,">

            <identifier   Org="ISBN:3540203036"   Paper_ID="/143610.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/143610.html"   Extracted="3540585559"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/143610.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540602186"   Paper_ID="/143610.html"   Extracted="3540602186"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540610529"   Paper_ID="/143610.html"   Extracted="3540610529"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/143610.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/143610.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540644059"   Paper_ID="/143610.html"   Extracted="3540644059"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540645918"   Paper_ID="/143610.html"   Extracted="3540645918"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3642008666"   Paper_ID="/143610.html"   Extracted="3642008666"   />

      </rec>

      <rec   ID="/159188.html"   Type="inproceedings"   CiteSeer_Book="FME94   Industrial   Benefit   of   Formal   Methods"   CiteSeer_Volume=""   Title="From   Action   Systems   to   Modular   Systems,">

            <identifier   Org="ISBN:012373892X"   Paper_ID="/159188.html"   Extracted="012373892X"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792384296"   Paper_ID="/159188.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1599045109"   Paper_ID="/159188.html"   Extracted="1599045109"   DDC="025.5/24"   Normalized_DDC="025524"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1599049007"   Paper_ID="/159188.html"   Extracted="1599049007"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/159188.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540235787"   Paper_ID="/159188.html"   Extracted="3540235787"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540308172"   Paper_ID="/159188.html"   Extracted="3540308172"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/159188.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540411968"   Paper_ID="/159188.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/159188.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/159188.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/159188.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540645918"   Paper_ID="/159188.html"   Extracted="3540645918"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664572"   Paper_ID="/159188.html"   Extracted="3540664572"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540761586"   Paper_ID="/159188.html"   Extracted="3540761586"   DDC="004/.01/9"   Normalized_DDC="004019"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9516505384"   Paper_ID="/159188.html"   Extracted="9516505384"   />

      </rec>

      <rec   ID="/67856.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Concurrency   Theory"   CiteSeer_Volume=""   Title="Trace   Refinement   of   Action   Systems,">

            <identifier   Org="ISBN:0792376838"   Paper_ID="/67856.html"   Extracted="0792376838"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402078358"   Paper_ID="/67856.html"   Extracted="1402078358"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/67856.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354020461X"   Paper_ID="/67856.html"   Extracted="354020461X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/67856.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354026969X"   Paper_ID="/67856.html"   Extracted="354026969X"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/67856.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/67856.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/67856.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/67856.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/67856.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657347"   Paper_ID="/67856.html"   Extracted="3540657347"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664882"   Paper_ID="/67856.html"   Extracted="3540664882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/67856.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540679448"   Paper_ID="/67856.html"   Extracted="3540679448"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540732098"   Paper_ID="/67856.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/67856.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:9516505376"   Paper_ID="/67856.html"   Extracted="9516505376"   />

            <identifier   Org="ISBN:9814021164"   Paper_ID="/67856.html"   Extracted="9814021164"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/48284.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="17"   Title="Typechecking   and   Modules   for   Multimethods,">

            <identifier   Org="ISBN:0521607655"   Paper_ID="/48284.html"   Extracted="0521607655"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:052182060X"   Paper_ID="/48284.html"   Extracted="052182060X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1581130678"   Paper_ID="/48284.html"   Extracted="1581130678"   />

            <identifier   Org="ISBN:3540622225"   Paper_ID="/48284.html"   Extracted="3540622225"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/611927.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Programming   Research   Group,">

            <identifier   Org="ISBN:0387196242"   Paper_ID="/611927.html"   Extracted="0387196242"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521267935"   Paper_ID="/611927.html"   Extracted="0521267935"   DDC="001.64/24"   Normalized_DDC="0016424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540182039"   Paper_ID="/611927.html"   Extracted="3540182039"   />

            <identifier   Org="ISBN:354018581X"   Paper_ID="/611927.html"   Extracted="354018581X"   />

            <identifier   Org="ISBN:3540186255"   Paper_ID="/611927.html"   Extracted="3540186255"   />

            <identifier   Org="ISBN:3540190201"   Paper_ID="/611927.html"   Extracted="3540190201"   />

            <identifier   Org="ISBN:3540196242"   Paper_ID="/611927.html"   Extracted="3540196242"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/611927.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540211500"   Paper_ID="/611927.html"   Extracted="3540211500"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540506675"   Paper_ID="/611927.html"   Extracted="3540506675"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/611927.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540551794"   Paper_ID="/611927.html"   Extracted="3540551794"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/611927.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540556680"   Paper_ID="/611927.html"   Extracted="3540556680"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/611927.html"   Extracted="3540601171"   />

            <identifier   Org="ISBN:354061463X"   Paper_ID="/611927.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/54534.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   6th   European   Conference   on   ObjectOriented   Programming   ECOOP"   CiteSeer_Volume=""   Title="Import   is   not   inheritance:   Why   we   need   both:   modules   and   classes,">

            <identifier   Org="ISBN:0077078977"   Paper_ID="/54534.html"   Extracted="0077078977"   />

            <identifier   Org="ISBN:0130970158"   Paper_ID="/54534.html"   Extracted="0130970158"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0201745720"   Paper_ID="/54534.html"   Extracted="0201745720"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0521648211"   Paper_ID="/54534.html"   Extracted="0521648211"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1880446162"   Paper_ID="/54534.html"   Extracted="1880446162"   />

            <identifier   Org="ISBN:3540198903"   Paper_ID="/54534.html"   Extracted="3540198903"   DDC="670"   Normalized_DDC="67"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540199780"   Paper_ID="/54534.html"   Extracted="3540199780"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354023988X"   Paper_ID="/54534.html"   Extracted="354023988X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/54534.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540431675"   Paper_ID="/54534.html"   Extracted="3540431675"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/54534.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540556680"   Paper_ID="/54534.html"   Extracted="3540556680"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540601600"   Paper_ID="/54534.html"   Extracted="3540601600"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540605894"   Paper_ID="/54534.html"   Extracted="3540605894"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540625992"   Paper_ID="/54534.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540679588"   Paper_ID="/54534.html"   Extracted="3540679588"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/966.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   19th   Australian   Computer   Science   Conference"   CiteSeer_Volume=""   Title="Independently   Extensible   Systems   --   Software   Engineering   Potential   and   Challenges,">

            <identifier   Org="ISBN:0201745720"   Paper_ID="/966.html"   Extracted="0201745720"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0521648211"   Paper_ID="/966.html"   Extracted="0521648211"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540000283"   Paper_ID="/966.html"   Extracted="3540000283"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540220593"   Paper_ID="/966.html"   Extracted="3540220593"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540329722"   Paper_ID="/966.html"   Extracted="3540329722"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/966.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540625992"   Paper_ID="/966.html"   Extracted="3540625992"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/966.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540647376"   Paper_ID="/966.html"   Extracted="3540647376"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/966.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3831102392"   Paper_ID="/966.html"   Extracted="3831102392"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Action-Based   Concurrency   and   Synchronization   for   Objects">

            <identifier   Org="ISBN:3540203036"   Paper_ID="SELF"   Extracted="3540203036"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="SELF"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:9512917270"   Paper_ID="SELF"   Extracted="9512917270"   />

      </rec>

</references_metadata>

www.000webhost.com