The theory of interactive generalized semi-Markov processes

Theoretical Computer Science

Volumn 282, Issue 1, 2002, Pages 5-32

  Bravetti, Mario ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Generalized semi Markov processes; Observational congruence; Probabilistic bisimulation; Stochastic process algebras

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DELAY CONTROL SYSTEMS; SYNCHRONIZATION;

PROBABILISTIC BISIMULATION; PROCESS ALGEBRA;

MARKOV PROCESSES;

EID: 0037036314     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00043-3     Document Type: Conference Paper

References (28)

1. A LOTOS extension for the performance analysis of distributed systems
2. On axiomatising finite concurrent processes
3. Model-checking in dense real-time
4. Adding action refinement to a finite process algebra
5. Towards performance evaluation with general distributions in process algebras
6. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
7. Deciding and axiomatizing ST bisimulation for a process algebra with recursion and action refinement
8. A complete axiomatization for observational congruence of prioritized finite-state behaviors
9. Axiomatising ST-bisimulation equivalence
10. A stochastic causality-based process algebra
11. An algebraic approach to the specification of stochastic systems
12. TIPP - A stochastic process algebra
13. Petri net models for algebraic theories of concurrency
14. A GSMP formalism for discrete event simulation
15. Transition system specifications with negative premises
16. Stochastic process algebra for discrete event simulation
17. An operator for symmetry representation and exploitation in stochastic process algebras
18. Formal characterisation of immediate actions in SPA with nondeterministic branching
19. Bisimulation through probabilistic testing
20. Zur theorie der bedienungsprozesse
21. A complete axiomatization for observational congruence of finite-state behaviours
22. Stochastic π-calculus with general distributions