Sciweavers

116 search results - page 3 / 24
» Process Algebra Models of Population Dynamics
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
KES
2004
Springer
13 years 11 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
ENTCS
2010
119views more  ENTCS 2010»
13 years 6 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston
ENTCS
2010
133views more  ENTCS 2010»
13 years 6 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
ICFEM
1998
Springer
13 years 10 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers