The Approximate Correctness of Systems Based on δ -bisimulation

Electronic Notes in Theoretical Computer Science - Tập 333 - Trang 73-87 - 2017
Yanfang Ma1
1School of Computer Science and Technology, Huaibei Normal University, Huaibei, China

Tài liệu tham khảo

Girard, 2005, Approximate bisimulations for constrained linear systems, 4700

Di Pierro, 2003, Quantitative relations and approximate process equivalences, vol. 2761, 498

Chen, 2009, On metric for probabilistic systems: definitions and algorithms, Computers and Mathematics with Applications, 57, 991, 10.1016/j.camwa.2008.10.041

Ying, 2001

Ying, 2002, Bisimulation indexes and their applications, Theoretical computer science, 275, 1, 10.1016/S0304-3975(01)00124-4

Fahrenberg, 2014, The quantitative linear-time branching-time spectrum, Theoretical Computer Science, 538, 54, 10.1016/j.tcs.2013.07.030

Henzinger, 2013, Quantitative reactive modeling and verification, Computer Science Research and Development, 28, 331, 10.1007/s00450-013-0251-7

Henzinger, 2005, Quantifying similarities between timed systems, vol. 3829, 226

Desharnais, 2008, Approximate analysis of probabilistic processes: logic, simulation and games, 264

Ma, 2009, Topological construction of parameterized bisimulation limit, Electronic Notes in Theoretical Computer Science, 257, 55, 10.1016/j.entcs.2009.11.026

Ma, 2013, Formal sescription of software dynamic correctness, Journal of Computer Research and Development, 50, 626

Ma, 2013, The infinite evolution mechanism of ϵ-bisimilarity, Journal of Computer Science and Technology, 28, 1097, 10.1007/s11390-013-1400-y

Pan, 2014, Simulation for lattice-valued doubly labeled transition systems, International Journal of Approximate Reasoning, 55, 797, 10.1016/j.ijar.2013.11.009

Pan, 2014, Quantitative analysis of lattice-valued Kripke structures, Fundamenta Informaticae, 135, 269, 10.3233/FI-2014-1122

Pan, 2015, Lattice-valued simulations for quantitative transition systems, Internatinal Journal of Approximate Reasoning, 56, 28, 10.1016/j.ijar.2014.10.001

Milner, 1989

Plotkin, 1981

Belohlavek, 2002

Engelking, 1977

Kelley, 1975

Thông tin
Thông tin xuất bản

Electronic Notes in Theoretical Computer Science

Tập 333

73-87

Thông tin tác giả