The following pages link to (Q2760253):
Displaying 20 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Partitioned PLTL model-checking for refined transition systems (Q1023285) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Vertical implementation (Q1854462) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- (Q2844828) (← links)
- (Q2844829) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- General Refinement, Part Two: Flexible Refinement (Q5403471) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
