Generic Forward and Backward Simulations II: Probabilistic Simulation
暂无分享,去创建一个
[1] J. Ben Atkinson,et al. Modeling and Analysis of Stochastic Systems , 1996 .
[2] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[3] Ichiro Hasuo,et al. Probabilistic anonymity via coalgebraic simulations , 2007, Theor. Comput. Sci..
[4] R. V. Glabbeek. The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .
[5] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[6] Ana Sokolova,et al. Generic Trace Semantics via Coinduction , 2007, Log. Methods Comput. Sci..
[7] N. Lynch,et al. Forward and backward simulations , 1993 .
[8] R. Durbin,et al. Biological sequence analysis: Background on probability , 1998 .
[9] Kim Guldstrand Larsen,et al. Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[10] Bartek Klin. Bialgebraic methods and modal logic in structural operational semantics , 2009, Inf. Comput..
[11] Bart Jacobs,et al. Simulations in Coalgebra , 2003, CMCS.
[12] Christel Baier,et al. Comparative branching-time semantics for Markov chains , 2005, Inf. Comput..
[13] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[14] Sean R. Eddy,et al. Biological sequence analysis: Contents , 1998 .
[15] Ana Sokolova,et al. Coalgebraic analysis of probabilistic systems , 2005 .
[16] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[17] Nancy A. Lynch,et al. Forward and Backward Simulations: I. Untimed Systems , 1995, Inf. Comput..
[18] Ichiro Hasuo,et al. Tracing Anonymity with Coalgebras , 2008 .
[19] Christel Baier,et al. CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings , 2006, CONCUR.
[20] J. Bergstra,et al. Handbook of Process Algebra , 2001 .
[21] Nancy A. Lynch,et al. Forward and Backward Simulations, II: Timing-Based Systems , 1996, Inf. Comput..
[22] Ichiro Hasuo,et al. Generic Forward and Backward Simulations , 2006, CONCUR.