8 search results - page 1 / 2 » The Saga of the Axiomatization of Parallel Composition |
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
ENTCS
2006
13 years 4 months ago
2006
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...