7109 search results - page 10 / 1422 » Process Algebra with Combinators |
CSJM
2008
13 years 7 months ago
2008
We consider the possible ways of the homogenization of nongraded non-commutative algebra and show that it should be combined with the cancellation rule to get the mathematically a...
MASCOTS
2003
13 years 8 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
ENTCS
2008
13 years 7 months ago
2008
HYPE is a process algebra developed to model hybrid systems
AMAST
2000
Springer
13 years 11 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...