Reactive, generative, and stratified models of probabilistic processes

Publisher Website

4 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/lics.1990.113740

Abstract

No abstract available

This publication has 6 references indexed in Scilit:

Concurrency and automata on infinite sequences
Published by Springer Nature ,2005
Linear and branching structures in the semantics and logics of reactive systems
Published by Springer Nature ,2005
A probabilistic powerdomain of evaluations
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Bisimulation through probabilistic testing
Information and Computation, 1991
Calculi for synchrony and asynchrony
Theoretical Computer Science, 1983
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980