Login / Signup

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.

Paola LeccaCorrado PriamiPaola QuagliaB. RossiCarlo LaudannaGabriela Constantin
Published in: Simul. (2004)
Keyphrases
  • process algebra
  • model checking
  • asynchronous circuits
  • concurrent systems
  • formal specification
  • formal methods
  • communication protocols
  • web services composition
  • concurrent programs
  • artificial intelligence