Pages that link to "Item:Q1112600"
From MaRDI portal
The following pages link to A state-based approach to communicating processes (Q1112600):
Displaying 19 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Process simulation and refinement (Q911322) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Two implementation relations and the correctness of communicating replicated processes (Q1362771) (← links)
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Stateful protocol composition (Q2167741) (← links)
- Model transformations across views (Q2266947) (← links)
- Of wlp and CSP (Q2994489) (← links)
- (Q3123380) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)