Models for concurrency: Towards a classification
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 4119618 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- A structural approach to operational semantics
- CONCURRENT AUTOMATA AND DOMAINS
- Concurrent Machines
- Concurrent transition systems
- Formal verification of parallel programs
- Mathematical foundations of computer science 1993. 18th international symposium, MFCS '93, Gdańsk, Poland, August/September 1993. Proceedings
- On relating some models for concurrency
- Petri nets, event structures and domains. I
- Synchronization trees
Cited in
(57)- Independence abstractions and models of concurrency
- Validating timed models of deployment components with parametric concurrency
- Model-checking games for fixpoint logics with partial order models
- Concurrencies in reversible concurrent calculi
- Building a Modal Interface Theory for Concurrency and Data
- Semantic domains of timed event structures
- An axiomatic approach to reversible computation
- Models for name-passing processes: Interleaving and causal
- Cameo: an alternative model of concurrency for Eiffel
- The correctness of concurrencies in (reversible) concurrent calculi
- Representation of computations in concurrent automata by dependence orders
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Synchronization expressions with extended join operation
- Clustering for Petri nets
- EMSO-logic and automata related to homogeneous flow event structures
- Domain theory for concurrency
- Configuration structures, event structures and Petri nets
- Reversibility and models for concurrency
- Rule-based and object-based event structures for membrane systems
- Simplicial Models for Concurrency
- scientific article; zbMATH DE number 2111983 (Why is no real title available?)
- Synchronization languages and rewriting systems
- True concurrency of deep inference proofs
- Refinement preserving approximations for the design and verification of heterogeneous systems
- Modelling Concurrency with Quotient Monoids
- Approximating Behaviors in Embedded System Design
- scientific article; zbMATH DE number 1283472 (Why is no real title available?)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- The mays and musts of concurrent strategies
- scientific article; zbMATH DE number 7559463 (Why is no real title available?)
- On the origin of events: branching cells as stubborn sets
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Models of central capacity and concurrency
- Untanglings: a novel approach to analyzing concurrent systems
- Timing and causality in process algebra
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
- Languages of higher-dimensional automata
- On linear logic planning and concurrency
- Studying Operational Models of Relaxed Concurrency
- scientific article; zbMATH DE number 125888 (Why is no real title available?)
- Processes, systems \& tests: defining contextual equivalences
- Directed homotopy in non-positively curved spaces
- Models, Languages, and Tools for Concurrent and Distributed Programming
- An axiomatic theory for reversible computation
- From domains to automata with concurrency
- Constructing weak simulations from linear implications for processes with private names
- scientific article; zbMATH DE number 176124 (Why is no real title available?)
- scientific article; zbMATH DE number 4119606 (Why is no real title available?)
- Branching time controllers for discrete event systems
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
- scientific article; zbMATH DE number 967185 (Why is no real title available?)
- The true concurrency of differential interaction nets
- Modelling concurrency with comtraces and generalized comtraces
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Processes against tests: on defining contextual equivalences
- Causal reversibility implies time reversibility
This page was built for publication: Models for concurrency: Towards a classification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672053)
