Refinement of actions in event structures and causal trees (Q688717): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Mojmír Křetínský / rank | |||
Property / reviewed by | |||
Property / reviewed by: Mojmír Křetínský / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Termination, deadlock, and divergence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3204033 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4036589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrency and atomicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5750408 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4733427 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3975146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771632 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Branching time and abstraction in bisimulation semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatising Finite Concurrent Processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic laws for nondeterminism and concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3750114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets, event structures and domains. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907077 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3805922 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets, algebras, morphisms, and compositionality / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:26, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Refinement of actions in event structures and causal trees |
scientific article |
Statements
Refinement of actions in event structures and causal trees (English)
0 references
6 December 1993
0 references
Action refinement is studied in two closely related true concurrency models, namely \(\Delta\)-free event structures and causal trees. The former is a slight modification of prime event structures (obtained via weakening conflict heredity and relaxing the finite causes principle). Refinement amounts to events expansion and is compatible with the history-preserving equivalence. Causal trees are obtained as event structures factored by the history- preserving equivalence. Dynamic refinement operations are introduced and they are shown to be compatible with those of static refinement on \(\Delta\)-free event structures. It is suggested that causal trees can be used to construct a semantic calculus for process algebras enriched with refinement.
0 references
models
0 references
action refinement
0 references
true concurrency
0 references
event structures
0 references
causal trees
0 references
process algebras
0 references