Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo; Rocco De Nicola; Michele Loreti

doi:10.2168/lmcs-10(1:16)2014

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science ◽

10.2168/lmcs-10(1:16)2014 ◽

2014 ◽

Vol 10 (1) ◽

Cited By ~ 12

Author(s):

Marco Bernardo ◽

Rocco De Nicola ◽

Michele Loreti

Keyword(s):

Probabilistic Processes

Download Full-text

Asynchronous test equivalence for probabilistic processes

2020 27th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec51365.2020.00060 ◽

2020 ◽

Author(s):

Puneet Bhateja

Keyword(s):

Probabilistic Processes

Download Full-text

Testing equivalences and fully abstract models for probabilistic processes

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039056 ◽

2006 ◽

pp. 126-138 ◽

Cited By ~ 43

Author(s):

Ivan Christoff

Keyword(s):

Probabilistic Processes

Download Full-text

Trace and Testing Metrics on Nondeterministic Probabilistic Processes

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.276.4 ◽

2018 ◽

Vol 276 ◽

pp. 19-36 ◽

Cited By ~ 2

Author(s):

Valentina Castiglioni

Keyword(s):

Probabilistic Processes

Download Full-text

Compositional verification of probabilistic processes

CONCUR '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0084809 ◽

2006 ◽

pp. 456-471 ◽

Cited By ~ 39

Author(s):

Kim G. Larsen ◽

Arne Skou

Keyword(s):

Compositional Verification ◽

Probabilistic Processes

Download Full-text

Axiomatizing probabilistic processes: ACP with generative probabilities

CONCUR '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0084810 ◽

1992 ◽

pp. 472-485 ◽

Cited By ~ 12

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra ◽

S. A. Smolka

Keyword(s):

Probabilistic Processes

Download Full-text

Algebraic reasoning for real-time probabilistic processes with uncertain information

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_190 ◽

1994 ◽

pp. 680-693 ◽

Cited By ~ 13

Author(s):

Wang Yi

Keyword(s):

Real Time ◽

Algebraic Reasoning ◽

Uncertain Information ◽

Probabilistic Processes

Download Full-text

Probabilistic simulations for probabilistic processes

CONCUR '94: Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/bfb0015027 ◽

2005 ◽

pp. 481-496 ◽

Cited By ~ 66

Author(s):

Roberto Segala ◽

Nancy Lynch

Keyword(s):

Probabilistic Processes

Download Full-text

Testing Finite Probabilistic Processes

Semantics of Probabilistic Processes ◽

10.1007/978-3-662-45198-4_5 ◽

2014 ◽

pp. 103-148

Author(s):

Yuxin Deng

Keyword(s):

Probabilistic Processes

Download Full-text

A remark on bisimulation between probabilistic processes

Logic at Botik '89 - Lecture Notes in Computer Science ◽

10.1007/3-540-51237-3_4 ◽

1989 ◽

pp. 26-40 ◽

Cited By ~ 10

Author(s):

Bard Bloom ◽

Albert R. Meyer

Keyword(s):

Probabilistic Processes

Download Full-text

Towards Automatic Measurement of Probabilistic Processes

Seventh International Conference on Quality Software (QSIC 2007) ◽

10.1109/qsic.2007.4385480 ◽

2007 ◽

Cited By ~ 6

Author(s):

Lin Song ◽

Yuxin Deng ◽

Xiaojuan Cai

Keyword(s):

Automatic Measurement ◽

Probabilistic Processes

Download Full-text