A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
A calculus of mobile processes, II
Information and Computation
The expressive power of indeterminate dataflow primitives
Information and Computation
Selected papers of the workshop on Topology and completion in semantics
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Testing Labelled Markov Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Labelled Markov Processes: Stronger and Faster Approximations
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Approximating labelled Markov processes
Information and Computation
An intrinsic characterization of approximate probabilistic bisimilarity
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Semi-pullbacks and bisimulations in categories of stochastic relations
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Concurrency, σ -Algebras, and Probabilistic Fairness
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Hyperfinite approximations to labeled markov transition systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Approximating Markov processes through filtration
Theoretical Computer Science
| Hi-index | 0.01 |