concur2004
Atom feed for posts tagged with concur2004
All posts tagged with concur2004
- Summary of my Concur '04 experience (6 September 2004)
- 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)
- Protein Folding Simulation in CCP (30 August 2004)
- Multiple Biological Model Classification: From System Biology to Synthetic Biology (30 August 2004)
- SBML - Systems Biology Markup Language (30 August 2004)
- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch (30 August 2004)
- Modelling the influence of RKIP on the ERK signaling pathway using the stochastic process algebra PEPA (30 August 2004)
- Concur 2004 (30 August 2004)