ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close