Recommendations
- Trace-oriented models of concurrency
- Modelling concurrency with comtraces and generalized comtraces
- Modeling Timed Concurrent Systems
- scientific article; zbMATH DE number 176124
- scientific article; zbMATH DE number 1314563
- Context for models of concurrency
- Interval traces with mutex relation
- Interleaving based model checking of concurrency and causality
Cites work
- scientific article; zbMATH DE number 5347282 (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 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 48517 (Why is no real title available?)
- scientific article; zbMATH DE number 1228291 (Why is no real title available?)
- scientific article; zbMATH DE number 1302042 (Why is no real title available?)
- scientific article; zbMATH DE number 1302043 (Why is no real title available?)
- A formal semantics for concurrent systems with a priority relation
- Algebraical characterisation of interval-timed Petri nets with discrete delays
- Betweenness, orders and interval graphs
- Concurrent histories: a basis for observing distributed systems
- Contextual nets
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Fundamentals of modelling concurrency using discrete relational structures
- Intransitive indifference with unequal indifference intervals
- Maintaining knowledge about temporal intervals
- Modeling interval order structures with partially commutative monoids
- Modelling concurrency with comtraces and generalized comtraces
- Mutex causality in processes and traces of general elementary nets
- Nets, time and space
- On characterising distributability
- On interval process semantics of Petri nets with inhibitor arcs
- On three alternative characterizations of combined traces
- Partial order semantics and read arcs
- Process semantics of general inhibitor nets
- Quotient monoids and concurrent behaviours
- Relational structures model of concurrency
- Semantics of inhibitor nets
- Step traces
- Structure of concurrency
- The mutual exclusion problem
- Timed testing of concurrent systems
Cited in
(13)- Interval traces with mutex relation
- On Interval Semantics of Inhibitor and Activator Nets
- Modeling interval order structures with partially commutative monoids
- Relational structures for concurrent behaviours
- Interval semantics for Petri nets with inhibitor arcs
- Operational semantics, interval orders and sequences of antichains
- Modeling operational semantics with interval orders represented by sequences of antichains
- Languages of higher-dimensional automata
- Posets with interfaces as a model for concurrency
- Modelling concurrency with semi-commutations
- Algebraic structure of step traces and interval traces
- Generating Posets Beyond N
- Modelling concurrency with comtraces and generalized comtraces
This page was built for publication: Modeling concurrency with interval traces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515576)
