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
<?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>