Modeling concurrency with interval traces
From MaRDI portal
Publication:515576
DOI10.1016/j.ic.2016.12.009zbMath1359.68224OpenAlexW2190677066MaRDI QIDQ515576
Publication date: 16 March 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11375/18319
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Languages of higher-dimensional automata ⋮ Posets with interfaces as a model for concurrency ⋮ Generating Posets Beyond N ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Relational structures for concurrent behaviours ⋮ Algebraic Structure of Step Traces and Interval Traces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Process semantics of general inhibitor nets
- Modelling concurrency with comtraces and generalized comtraces
- Nets, time and space
- Structure of concurrency
- Relational structures model of concurrency
- A formal semantics for concurrent systems with a priority relation
- Concurrent histories: a basis for observing distributed systems
- Fundamentals of modelling concurrency using discrete relational structures
- Partial order semantics and read arcs
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Timed testing of concurrent systems
- Contextual nets
- Semantics of inhibitor nets
- Intransitive indifference with unequal indifference intervals
- Betweenness, orders and interval graphs
- On Characterising Distributability
- Modeling Interval Order Structures with Partially Commutative Monoids
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs
- Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
- Mutex Causality in Processes and Traces of General Elementary Nets
- The mutual exclusion problem
- Step traces
This page was built for publication: Modeling concurrency with interval traces
