scientific article; zbMATH DE number 3651760
From MaRDI portal
Publication:3851636
Cited in
(23)- Petri nets, algebras, morphisms, and compositionality
- Synchronization trees
- Quasi-optimal partial order reduction
- Aligning event logs to resource-constrained \(\nu \)-Petri nets
- Towards a categorical representation of reversible event structures
- A stable non-interleaving early operational semantics for the pi-calculus
- On concurrent games with payoff
- Declarative event based models of concurrency and refinement in psi-calculi
- On the origin of events: branching cells as stubborn sets
- ST-structures
- Coalgebraic semantic model for the clock constraint specification language
- Contextual equivalences in configuration structures and reversibility
- Efficient semantics-based compliance checking using LTL formulae and unfolding
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Formal relationships between geometrical and classical models for concurrency
- A stable non-interleaving early operational semantics for the pi-calculus
- Causal Unfoldings
- Event structure semantics of (controlled) reversible CCS
- Reasoning about causality in games
- Relating reversible Petri nets and reversible event structures, categorically
- From thin concurrent games to generalized species of structures (extended version)
- Relating reversible Petri nets and reversible event structures, categorically
- Synchronous Kleene algebra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3851636)
