Simulation for lattice-valued doubly labeled transition systems

Aceto, 2007 de Alfaro, 2005, Model checking discounted temporal properties, Theor. Comput. Sci., 345, 139, 10.1016/j.tcs.2005.07.033 Baier, 2008 ter Beek, 2011, A state/event-based model-checking approach for the analysis of abstract system properties, Sci. Comput. Program., 76, 119, 10.1016/j.scico.2010.07.002 Bělohlávek, 2002 Bou, 2011, On the minimum many-valued modal logic over a finite residuated lattice, J. Log. Comput., 21, 739, 10.1093/logcom/exp062 Cao, 2011, Bisimulations for fuzzy-transition systems, IEEE Trans. Fuzzy Syst., 19, 540, 10.1109/TFUZZ.2011.2117431 Cao, 2006, Observability and decentralized control of fuzzy discrete-event systems, IEEE Trans. Fuzzy Syst., 14, 202, 10.1109/TFUZZ.2005.864085 Chaki, 2005, Concurrent software verification with states, events, and deadlocks, Form. Asp. Comput., 17, 461, 10.1007/s00165-005-0071-z Chechik, 2006, Data structures for symbolic multi-valued model-checking, Form. Methods Syst. Des., 29, 295, 10.1007/s10703-006-0016-z Ćirić, 2012, Bisimulations for fuzzy automata, Fuzzy Sets Syst., 186, 100, 10.1016/j.fss.2011.07.003 Ćirić, 2012, Computation of the greatest simulations and bisimulations between fuzzy automata, Fuzzy Sets Syst., 208, 22, 10.1016/j.fss.2012.05.006 Clarke, 1999 Dai, 2013, Robustness analysis of full implication inference method, Int. J. Approx. Reason., 54, 653, 10.1016/j.ijar.2012.11.007 Esteva, 2001, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets Syst., 124, 271, 10.1016/S0165-0114(01)00098-7 Fantechi, 2012, A logical verification methodology for service-oriented computing, ACM Trans. Softw. Eng. Methodol., 21, 10.1145/2211616.2211619 Flaminio, 2013, Logics for belief functions on MV-algebras, Int. J. Approx. Reason., 54, 491, 10.1016/j.ijar.2012.08.006 Fitting, 1991, Many-valued modal logics (I) and (II), Fundam. Inform., 15, 335, 10.3233/FI-1991-153-404 Hájek, 1998 Hennessy, 1985, Algebraic laws for nondeterminism and concurrency, J. ACM, 32, 137, 10.1145/2455.2460 Julius, 2009, Approximate equivalence and synchronization of metric transition systems, Syst. Control Lett., 58, 94, 10.1016/j.sysconle.2008.09.001 Kroupa, 2012, States in Łukasiewicz logic correspond to probabilities of rational polyhedra, Int. J. Approx. Reason., 53, 435, 10.1016/j.ijar.2011.10.007 Kupferman, 2007, Lattice automata, vol. 4349, 199 Kupferman, 2010, Latticed simulation relations and games, Int. J. Found. Comput. Sci., 21, 167, 10.1142/S0129054110007192 Larsen, 2011, Metrics for weighted transition systems: axiomatization and complexity, Theor. Comput. Sci., 412, 3358, 10.1016/j.tcs.2011.04.003 Li, 2005, An approach to measure the robustness of fuzzy reasoning, Int. J. Intell. Syst., 20, 393, 10.1002/int.20072 Li, 2008, Approximation and robustness of fuzzy finite automata, Int. J. Approx. Reason., 47, 247, 10.1016/j.ijar.2007.05.004 Milner, 1989 Nicola, 1995, Three logics for branching bisimulation, J. ACM, 42, 458, 10.1145/201019.201032 Pei, 2012, Formalization of implication based fuzzy reasoning method, Int. J. Approx. Reason., 53, 837, 10.1016/j.ijar.2012.01.007 Pei, 2013, Hierarchical structure and applications of fuzzy logical systems, Int. J. Approx. Reason., 54, 1483, 10.1016/j.ijar.2013.05.003 Pei, 2002, The completeness and application of the formal system L⁎, Sci. China, Ser. F, 45, 40 Qiu, 2001, Automata theory based on completed residuated lattice-valued logic (I) and (II), Sci. China, Ser. F, 44, 419, 10.1007/BF02713945 Qiu, 2006, Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note, Fuzzy Sets Syst., 157, 2128, 10.1016/j.fss.2006.03.014 Qiu, 2007, A note on Trilla's CHC models, Artif. Intell., 171, 239, 10.1016/j.artint.2006.12.002 Shoham, 2012, Multi-valued model checking games, J. Comput. Syst. Sci., 78, 414, 10.1016/j.jcss.2011.05.003 Thrane, 2010, Quantitative analysis of weighted transition systems, J. Log. Algebr. Program., 79, 689, 10.1016/j.jlap.2010.07.010 Wu, 2010, Automata theory based on complete residuated lattice-valued logic: Reduction and minimization, Fuzzy Sets Syst., 161, 1635, 10.1016/j.fss.2009.12.011