The Meaning of Ordered SOS
暂无分享,去创建一个
[1] Jan Friso Groote,et al. The meaning of negative premises in transition system specifications , 1991, JACM.
[2] Rob J. van Glabbeek,et al. The meaning of negative premises in transition system specifications II , 1996, J. Log. Algebraic Methods Program..
[3] Jan Friso Groote,et al. Transition System Specifications with Negative Premises , 1993, Theor. Comput. Sci..
[4] Irek Ulidowski,et al. Ordered SOS process languages for branching and Eager bisimulation , 2002 .
[5] Matthew Hennessy,et al. A Process Algebra for Timed Systems , 1995, Inf. Comput..
[6] Jan A. Bergstra,et al. Term-Rewriting Systems with Rule Priorities , 1989, Theor. Comput. Sci..
[7] Rob J. van Glabbeek. The meaning of negative premises in transition system specifications II , 2004, J. Log. Algebraic Methods Program..
[8] Simone Tini,et al. Probabilistic Congruence for Semistochastic Generative Processes , 2005, FoSSaCS.
[9] Jan A. Bergstra,et al. Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .
[10] Albert R. Meyer,et al. Bisimulation can't be traced , 1988, POPL '88.