1195 search results - page 7 / 239 » Modeling an Algebraic Stepper |
JLP
2011
14 years 11 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
CUZA
2002
14 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This article deals with some stochastic population protocols, motivated by theoretical aspects of distributed computing. We modelize the problem by a large urn of black and white ...
ENTCS
2008
14 years 9 months ago
2008
HYPE is a process algebra developed to model hybrid systems
76
Voted
SIAMSC
2010
14 years 7 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...