The following pages link to (Q3851636):
Displaying 20 items.
- On concurrent games with payoff (Q265795) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- ST-structures (Q338620) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Efficient semantics-based compliance checking using LTL formulae and unfolding (Q364600) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Synchronization trees (Q1348524) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- Coalgebraic Semantic Model for the Clock Constraint Specification Language (Q3460225) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Reasoning about causality in games (Q6103660) (← links)
