Sciweavers

125 search results - page 1 / 25
» Process Algebra with Probabilistic Choice
Sort
View
ARTS
1999
Springer
13 years 8 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
ENTCS
2008
91views more  ENTCS 2008»
13 years 3 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti
ENTCS
2007
97views more  ENTCS 2007»
13 years 3 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
AMAST
2000
Springer
13 years 8 months ago
Time and Probability in Process Algebra
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...
Suzana Andova