Sciweavers

1195 search results - page 6 / 239
» Modeling an Algebraic Stepper
Sort
View
PE
2010
Springer
123views Optimization» more  PE 2010»
14 years 4 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 4 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