Automatically assigned DDC number: 00435

Manually assigned DDC number: 00435

Number of references: 4

Title: Relationships between Models of Concurrency

Author:

Author:

Author:

Subject: Mogens Nielsen,Vladimiro Sassone,Glynn Winskel Relationships between Models of Concurrency

Description: . Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory. Keywords. Semantics, Concurrency, Models for Concurrency, Categories. Contents 1 Preliminaries 431 2 Deterministic Transition Systems 433 3 Noninterleaving vs. Interleaving Models 436 Synchronization Trees and Labelled Event Structures : : : : : : : : : : : : : : 438 Transition Systems with Independence : : : : : : : : : : : : : : : : : : : : : : 439 4 Behavioural, Linear Time, Noninterleaving Models 441 Semilanguages and Event Structures : : : : : : : : : : : : : : : : : : : : : : : 443 Trace Languages and Event Structures : : : : : : : : : : : : : : : : : : : : : : 446 5 Transition Systems with Independence and Lab...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-06-29

Pubyear: 1994

Format: ps

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

Source: http://www.dcs.qmw.ac.uk/~vs/cv/../ftp/rel-models-rex93.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/713150.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="On   decomposition   for   incomplete   data,">

            <identifier   Org="ISBN:0080447309"   Paper_ID="/713150.html"   Extracted="0080447309"   />

            <identifier   Org="ISBN:0387244352"   Paper_ID="/713150.html"   Extracted="0387244352"   />

            <identifier   Org="ISBN:3540221174"   Paper_ID="/713150.html"   Extracted="3540221174"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540223746"   Paper_ID="/713150.html"   Extracted="3540223746"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540716629"   Paper_ID="/713150.html"   Extracted="3540716629"   />

            <identifier   Org="ISBN:3540734503"   Paper_ID="/713150.html"   Extracted="3540734503"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540737286"   Paper_ID="/713150.html"   Extracted="3540737286"   />

            <identifier   Org="ISBN:3540850635"   Paper_ID="/713150.html"   Extracted="3540850635"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:354087562X"   Paper_ID="/713150.html"   Extracted="354087562X"   />

      </rec>

      <rec   ID="/720939.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{A   Structural   Approach   to   Operational   Semantics},">

            <identifier   Org="ISBN:0521631688"   Paper_ID="/720939.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540160426"   Paper_ID="/720939.html"   Extracted="3540160426"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/720939.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540235809"   Paper_ID="/720939.html"   Extracted="3540235809"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540253882"   Paper_ID="/720939.html"   Extracted="3540253882"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540283722"   Paper_ID="/720939.html"   Extracted="3540283722"   />

            <identifier   Org="ISBN:3540408142"   Paper_ID="/720939.html"   Extracted="3540408142"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540426671"   Paper_ID="/720939.html"   Extracted="3540426671"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043075X"   Paper_ID="/720939.html"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/720939.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441441"   Paper_ID="/720939.html"   Extracted="3540441441"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540505806"   Paper_ID="/720939.html"   Extracted="3540505806"   />

            <identifier   Org="ISBN:3540548343"   Paper_ID="/720939.html"   Extracted="3540548343"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540580271"   Paper_ID="/720939.html"   Extracted="3540580271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="/720939.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/720939.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540657185"   Paper_ID="/720939.html"   Extracted="3540657185"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/720939.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/97334.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   18th   Mathematical   Foundations   of   Computer   Science   MFCS93   Gdansk   Polen   1993"   CiteSeer_Volume=""   Title="Deterministic   Behavioural   Models   for   Concurrency,">

            <identifier   Org="ISBN:0198537808"   Paper_ID="/97334.html"   Extracted="0198537808"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540287027"   Paper_ID="/97334.html"   Extracted="3540287027"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/97334.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="/97334.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540610642"   Paper_ID="/97334.html"   Extracted="3540610642"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/97334.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354085360X"   Paper_ID="/97334.html"   Extracted="354085360X"   />

      </rec>

      <rec   ID="/172079.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="64"   Title="Concurrent   Transition   Systems,">

            <identifier   Org="ISBN:0198537808"   Paper_ID="/172079.html"   Extracted="0198537808"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:026251091X"   Paper_ID="/172079.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521806089"   Paper_ID="/172079.html"   Extracted="0521806089"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/172079.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/172079.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540434003"   Paper_ID="/172079.html"   Extracted="3540434003"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540534792"   Paper_ID="/172079.html"   Extracted="3540534792"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540543171"   Paper_ID="/172079.html"   Extracted="3540543171"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/172079.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/172079.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540631410"   Paper_ID="/172079.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/172079.html"   Extracted="3540653066"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/172079.html"   Extracted="3540653880"   />

            <identifier   Org="ISBN:3540747818"   Paper_ID="/172079.html"   Extracted="3540747818"   />

            <identifier   Org="ISBN:3540973753"   Paper_ID="/172079.html"   Extracted="3540973753"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Relationships   between   Models   of   Concurrency">

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

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

            <identifier   Org="ISBN:1402076983"   Paper_ID="SELF"   Extracted="1402076983"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540209093"   Paper_ID="SELF"   Extracted="3540209093"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="SELF"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540434003"   Paper_ID="SELF"   Extracted="3540434003"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="SELF"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="SELF"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540664122"   Paper_ID="SELF"   Extracted="3540664122"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="SELF"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3790813281"   Paper_ID="SELF"   Extracted="3790813281"   DDC="006.3/31"   Normalized_DDC="006331"   Normalized_Weight="0.1111111111111111"   />

      </rec>

</references_metadata>

www.000webhost.com