eighty-twenty Atom 1.0 feed

about | sitemap

concur2004

Atom 1.0 feed 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)