Pages that link to "Item:Q5925821"
From MaRDI portal
The following pages link to Refinement of actions and equivalence notions for concurrent systems (Q5925821):
Displayed 50 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- On the expressive power of behavioral profiles (Q315288) (← links)
- ST-structures (Q338620) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- A completed hierarchy of true concurrent equivalences (Q1029093) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Vertical implementation (Q1854462) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Synchronous and asynchronous communication(s) between three parties (Q2182658) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- (Q2844828) (← links)
- (Q2844829) (← links)
- Reversibility and Models for Concurrency (Q2871832) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- (Q3385652) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- (Q5089025) (← links)
- (Q5089270) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)