avocs
Atom feed for posts tagged with avocs
All posts tagged with avocs
- An Approach towards Stochastic Ambients (4 September 2004)
- Model Checking Functional and Performability Properties of Stochastic Fluid Models (4 September 2004)
- Towards a unifying CSP approach for hierarchical verification of asynchronous hardware (4 September 2004)
- A generic cost model for concurrent and data-parallel meta-computing (4 September 2004)
- Finding symmetry in models of concurrent systems by static channel diagram analysis (4 September 2004)
- Structural Translation from Time Petri Nets to Timed Automata (4 September 2004)
- Probabilistic Model Checking of the CSMA/CD protocol using PRISM and APMC (4 September 2004)
- Software Model Checking Based on Game Semantics and CSP (4 September 2004)
- Extracting Algorithms From Code (4 September 2004)