Sciweavers

1195 search results - page 6 / 239
» Modeling an Algebraic Stepper
Sort
View
PE
2010
Springer
123views Optimization» more  PE 2010»
14 years 11 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
SCP
2011
228views Communications» more  SCP 2011»
14 years 11 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink