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>