Stochastic transition systems for continuous state spaces and non-determinism (2005)

by Stefano Cattani , Roberto Segala , Marta Kwiatkowska , Gethin Norman
Venue:In FoSSaCS’05, LNCS 3441
Citations:17 - 4 self

Active Bibliography

13 Probability and Nondeterminism in Operational Models of Concurrency – Roberto Segala - 2006
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences – Marco Bernardoa, Rocco De Nicolab, Michele Loretic
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
39 Comparative branching-time semantics for Markov chains – Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf - 2003
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
670 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
Verification of Random Behaviours – S. Andova, T. A. C. Willemse
451 On the impossibility of informationally efficient markets – J. Grossman, Joseph E. Stiglitz, J. Grossman, Joseph, E. Stiglitz - 1980