Stochastic processes as concurrent constraint programs (1999)

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

Active Bibliography

21 Probabilistic Concurrent Constraint Programming – Vineet Gupta, Radha Jagadeesan, Vijay Saraswat - 1997
48 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
27 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
45 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
32 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
55 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
75 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