Pages that link to "Item:Q3000666"
From MaRDI portal
The following pages link to CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666):
Displayed 11 items.
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
- A compositional framework to the specification of service protocols controllability and substitutability (Q2921918) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Performance Model Checking Scenario-Aware Dataflow (Q3172842) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)