942 search results - page 1 / 189 » Process Algebraic Non-product-forms |
ENTCS
2008
13 years 4 months ago
2008
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
FUIN
2002
13 years 4 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
CONCUR
1991
Springer
13 years 8 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
EPEW
2008
Springer
13 years 6 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...