Abstract | ||
---|---|---|
Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, including various modelling frameworks for concurrent and distributed systems. Here we begin the development of a truly concurrent semantics for adhesive rewriting systems by defining the fundamental notion of process, well-known from Petri nets and graph grammars. The main result of the paper shows that processes capture the notion of true concurrency—there is a one-to-one correspondence between concurrent derivations, where the sequential order of independent steps is immaterial, and (isomorphism classes of) processes. We see this contribution as a step towards a general theory of true concurrency which specialises to the various concrete constructions found in the literature. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11690634_14 | FoSSaCS |
Keywords | Field | DocType |
true concurrency,petri net,various modelling framework,fundamental notion,concurrent semantics,various concrete construction,general framework,concurrent derivation,adhesive category,general theory,distributed system | Rule-based machine translation,Petri net,Programming language,Computer science,Concurrency,Theoretical computer science,Isomorphism,Rewriting,Graph rewriting,Confluence,Rotation formalisms in three dimensions | Conference |
Volume | ISSN | ISBN |
3921 | 0302-9743 | 3-540-33045-3 |
Citations | PageRank | References |
11 | 0.70 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paolo Baldan | 1 | 696 | 51.95 |
Andrea Corradini | 2 | 1108 | 90.63 |
Tobias Heindel | 3 | 156 | 12.93 |
Barbara König | 4 | 130 | 12.58 |
Paweł Sobociński | 5 | 609 | 45.57 |