Deciding Bisimilarity and Similarity for Probabilistic Processes
作者： Christel Baier , Bettina Engelen , Mila Majster-Cederbaum
关键词:
摘要: This paper deals with probabilistic and nondeterministic processes represented by a variant of labeled transition systems where any outgoing transition of a state s is augmented with …
core.ac.uk
elsevier.com
sci-hub.se 参考文章(59)
Carl Sunshine, Protocol specification, testing, and verification Computer Networks. ,vol. 6, pp. 375- 376 ,(1982) , 10.1016/0376-5075(82)90108-8
Ivan Christoff, Testing Equivalences and Fully Abstract Models for Probabilistic Processes international conference on concurrency theory. pp. 126- 140 ,(1990) , 10.1007/BFB0039056
Dung T. Huynh, Lu Tian, On some equivalence relations for probabilistic processes. Fundamenta Informaticae. ,vol. 17, pp. 211- 234 ,(1992) , 10.3233/FI-1992-17304
M. AdelsonVelskii, AN ALGORITHM FOR THE ORGANIZATION OF INFORMATION ,(1963)
Chi-Chang Jou, Scott A. Smolka, Alessandro Giacalone, Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods. pp. 443- 458 ,(1990)
Chi-Chang Jou, Scott A. Smolka, Equivalences, congruences, and complete axiomatizations for probabilistic processes international conference on concurrency theory. pp. 367- 383 ,(1990) , 10.1007/BFB0039071
Wang Yi, Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information international symposium organized jointly with working group provably correct systems on formal techniques in real time and fault tolerant systems. pp. 680- 693 ,(1994) , 10.1007/3-540-58468-4_190
Kim G. Larsen, Arne Skou, Compositional Verification of Probabilistic Processes international conference on concurrency theory. pp. 456- 471 ,(1992) , 10.1007/BFB0084809
Linda Christoff, Ivan Christoff, Efficient Algorithms for Verification of Equivalences for Probabilistic Processes computer aided verification. pp. 310- 321 ,(1991) , 10.1007/3-540-55179-4_30
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, On Generative Parallel Composition Electronic Notes in Theoretical Computer Science. ,vol. 22, pp. 30- 54 ,(1999) , 10.1016/S1571-0661(05)80596-1