Stochastic processes as concurrent constraint programs (1999)

by Vineet Gupta , Radha Jagadeesan , Prakash Panangaden
Venue:In Symposium on Principles of Programming Languages
Citations:29 - 1 self

Active Bibliography

20 Probabilistic Concurrent Constraint Programming – Vineet Gupta, Radha Jagadeesan, Vijay Saraswat - 1997
42 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
26 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
6 Mixing Up Nondeterminism and Probability: a preliminary report – J.I. den Hartog, E.P. de Vink - 1999
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
46 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
10 Partial Order Reduction For Probabilistic Branching Time – Christel Baier, Pedro D'Argenio, Marcus Groesser - 2005
33 Comparative branching-time semantics for Markov chains – Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf - 2003
12 Stochastic transition systems for continuous state spaces and non-determinism – Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman - 2005
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
56 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
4 Axiomatization of trace semantics for stochastic nondeterministic processes. Quantitative Evaluation of Systems – Augusto Parma, Roberto Segala - 2004
5 Reasoning about states of probabilistic sequential programs – R. Chadha, P. Mateus, A. Sernadas - 2006
12 Reasoning about probabilistic sequential programs ∗ – R. Chadha, L. Cruz-filipe, P. Mateus, A. Sernadas
1 The Weakest Completion Approach to the Probabilistic Semantics – He Jifeng, C. C. Morgan, A. K. Mciver - 2000
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
Contributing WPs: WP2 – Editor(s Hongyang Qu, Chris Chilton, Author(s Marco Autili, Antonia Bertolino, Chris Chilton, Antinisca Di, Felicita Di Gi, Paola Inverardi, Bengt Jonsson, Marta Kwiatkowska, Marco Martinucci, Hongyang Qu, Sabetta Massimo Tivoli, Reviewer(s Franck Chauvel, Valérie Issarny - 2011
4 Comparing CTL and PCTL on Labeled Markov Chains – M.R.A. Huth, M. Z. Kwiatkowska - 1998
81 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan - 1997