Author:
Philippou Anna,Sokolsky Oleg,Lee Insup,Cleaveland Rance,Smolka Scott A.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference14 articles.
1. Axiomatizing probabilistic processes: ACP with generative probabilities;Baeten;Inform. and Comput.,1995
2. A complete axiomatization of finite-states ACSR processes;Brémond-Grégoire;Inform. and Comput.,1997
3. Algebraic reasoning for probabilistic concurrent systems;Giacalone,1990
4. Time and probability in formal design of distributed systems, PhD thesis;Hansson,1991
5. Modeling systems by probabilistic process algebra: An event structured approach;Katoen,1993