Recommendations
- scientific article; zbMATH DE number 194148
- scientific article; zbMATH DE number 4096791
- Relational structures model of concurrency
- scientific article; zbMATH DE number 17833
- Concurrency in synchronous systems
- Relational structures for concurrent behaviours
- Concurrent Programming
- scientific article; zbMATH DE number 42962
- Nebenläufige Programme
Cites work
- scientific article; zbMATH DE number 4206024 (Why is no real title available?)
- scientific article; zbMATH DE number 3821120 (Why is no real title available?)
- scientific article; zbMATH DE number 3825182 (Why is no real title available?)
- scientific article; zbMATH DE number 3905854 (Why is no real title available?)
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3722109 (Why is no real title available?)
- scientific article; zbMATH DE number 3740749 (Why is no real title available?)
- scientific article; zbMATH DE number 3755835 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 4119655 (Why is no real title available?)
- A Characterization of Comparability Graphs and of Interval Graphs
- A calculus of communicating systems
- A formal semantics for concurrent systems with a priority relation
- A methodology for programming with concurrency: An informal presentation
- A resource-based prioritized bisimulation for real-time systems
- Betweenness, orders and interval graphs
- Calculi for synchrony and asynchrony
- Concurrent Machines
- Concurrent histories: a basis for observing distributed systems
- Incidence matrices and interval graphs
- Intransitive indifference with unequal indifference intervals
- Modeling concurrency with partial orders
- Notes on finite asynchronous automata
- On interprocess communication. I: Basic formalism
- 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
- Structure of concurrency
- Subset languages of Petri nets. I: The relationship to string languages and normal forms
- The mutual exclusion problem
- Theory of relations. Transl. from the French by P. Clote
Cited in
(52)- Myhill-Nerode theorem for higher-dimensional automata
- Concurrency: handling interference formally
- On-line computations of the ideal lattice of posets
- Modeling interval order structures with partially commutative monoids
- Dynamic Partial Order Reduction Using Probe Sets
- Synchronized composition of graph grammar productions
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- Relational structures for concurrent behaviours
- Modelling concurrent behaviours by commutativity and weak causality relations
- scientific article; zbMATH DE number 845927 (Why is no real title available?)
- Concurrent graph and term graph rewriting
- Contextual Petri nets, asymmetric event structures, and processes
- Classifying invariant structures of step traces
- Concurrency in Boolean networks
- scientific article; zbMATH DE number 3909720 (Why is no real title available?)
- scientific article; zbMATH DE number 4035158 (Why is no real title available?)
- Contextual nets
- Simultaneity in event structures
- On Interval Semantics of Inhibitor and Activator Nets
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
- On interval process semantics of Petri nets with inhibitor arcs
- Solving recursive net equations
- scientific article; zbMATH DE number 465527 (Why is no real title available?)
- Generating Posets Beyond N
- A Myhill-Nerode theorem for higher-dimensional automata
- Languages of higher-dimensional automata
- Concurrent systems and inevitability
- Process semantics of general inhibitor nets
- Operational and denotational semantics for the box algebra
- Interval traces with mutex relation
- Concurrency-preserving minimal process representation
- Modelling concurrency with comtraces and generalized comtraces
- The mutex paradigm of concurrency
- Relational structures model of concurrency
- Characterising concurrent histories
- Modeling concurrency with partial orders
- A weak order approach to group ranking
- Inevitability in concurrent systems
- Modeling concurrency with interval traces
- Interval semantics for Petri nets with inhibitor arcs
- Inevitability in diamond processes
- Algebraic structure of step traces and interval traces
- THE PHASE WEB PARADIGM
- Step traces
- Causal ambiguity and partial orders in event structures
- Modelling Concurrency with Quotient Monoids
- Posets with interfaces as a model for concurrency
- Non-atomic transition firing in contextual nets
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- Structure of concurrency
- scientific article; zbMATH DE number 4018369 (Why is no real title available?)
- scientific article; zbMATH DE number 4096791 (Why is no real title available?)
This page was built for publication: Structure of concurrency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685384)
