Structure of concurrency
From MaRDI portal
Publication:685384
DOI10.1016/0304-3975(93)90238-OzbMath0814.68061MaRDI QIDQ685384
Maciej Koutny, Ryszard Janicki
Publication date: 17 October 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (27)
Contextual nets ⋮ Languages of higher-dimensional automata ⋮ Process semantics of general inhibitor nets ⋮ On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Generating Posets Beyond N ⋮ On-line computations of the ideal lattice of posets ⋮ Classifying invariant structures of step traces ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Concurrency in Boolean networks ⋮ Modelling Concurrency with Quotient Monoids ⋮ Concurrent graph and term graph rewriting ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Dynamic Partial Order Reduction Using Probe Sets ⋮ Relational structures model of concurrency ⋮ The Mutex Paradigm of Concurrency ⋮ Solving recursive net equations ⋮ Synchronized composition of graph grammar productions ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Structure of concurrency ⋮ Relational structures for concurrent behaviours ⋮ Step traces ⋮ A weak order approach to group ranking ⋮ Operational and denotational semantics for the box algebra ⋮ Algebraic Structure of Step Traces and Interval Traces ⋮ Contextual Petri nets, asymmetric event structures, and processes
Cites Work
- Structure of concurrency
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- Calculi for synchrony and asynchrony
- A formal semantics for concurrent systems with a priority relation
- Theory of relations. Transl. from the French by P. Clote
- On interprocess communication. I: Basic formalism
- Concurrent histories: a basis for observing distributed systems
- Modeling concurrency with partial orders
- A calculus of communicating systems
- A methodology for programming with concurrency: An informal presentation
- Petri net semantics of priority systems
- Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
- A resource-based prioritized bisimulation for real-time systems
- Incidence matrices and interval graphs
- Intransitive indifference with unequal indifference intervals
- Betweenness, orders and interval graphs
- Concurrent Machines
- Notes on finite asynchronous automata
- A Characterization of Comparability Graphs and of Interval Graphs
- The mutual exclusion problem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Structure of concurrency
