Pages that link to "Item:Q2350492"
From MaRDI portal
The following pages link to Compositional verification of asynchronous concurrent systems using CADP (Q2350492):
Displaying 9 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Cartesian difference categories (Q2200813) (← links)
- An Account of Implementing Applicative Term Rewriting (Q2866805) (← links)
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
