315 search results - page 1 / 63 » What is algebraic in process theory |
ENTCS
2006
13 years 4 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
ENTCS
2006
13 years 4 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
CAI
2009
Springer
13 years 11 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
STACS
1997
Springer
13 years 8 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...