Structure of concurrency

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)

zbMATH Keywords

Petri netssemantic of concurrencysystems with priority

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (31)

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 ⋮ Interval traces with mutex relation ⋮ A Myhill-Nerode theorem for higher-dimensional automata ⋮ Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets ⋮ Step traces ⋮ Myhill-Nerode theorem for higher-dimensional automata ⋮ 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Structure of concurrency