469 search results - page 1 / 94 » Process Algebras for Collective Dynamics |
MPC
2010
Springer
13 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
DAGSTUHL
2004
13 years 5 months ago
2004
SCP
2011
12 years 11 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
AB
2008
Springer
13 years 10 months ago
2008
Springer
