Вы здесь

Главная

бисимуляция

Связанные издания:

A Categorial Observaion of Timed Testing Equivalence
A Categorical View of Timed Weak Bisimulation
A Characterization of Weak Bisimulation Congruence
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
Algebra and Coalgebra in Computer Science: Proc./First International Conference, CALCO 2005. Swansea, UK, September 2005
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Bisimulation for Communication Piecewise Deterministic Markov Processes (CPDPs)
Bisimulation for fluid stochastic Petri nets
Bisimulation for General Stochastic Systems
Bisimulation on Speed: A Unified Approach
Bisimulations Up-to for the Linear Time Branching Time Spectrum
Branching Time Equivalences for Interactive Markov Chains
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
Coalgebraic Methods in Computer Science: Revised Selected Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 2014
Comparing Semantics Under Strong Timing of Petri Nets
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
CONCUR 2004 - Concurrency Theory: Proc./15th International Conference. London, UK, August/September 2004
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Deciding probabilistic bisimilarity over infinite-state probabilistic system
Formal Aspects in Security and Trust: Revised Selected Papers/5th International Workshop, FAST 2008, Malaga, Spain, October 2008
Formal Methods for Open Object-Based Distributed Systems: Proc./8th IFIP WG 6.1 International Conference, FMOODS 2006. Bologna, Italy, June 2006
Foundations of Software Science and Compitation Structures: Proc./17th International Conference, FOSSACS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Foundations of Software Science and Computation Structures: Proc./8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Foundations of Web Transactions
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007
Graph Transformations: Proc./6th International Conference, ICGT 2012, Bremen, Germany, September 2012
Is Timed Branching Bisimilarity an Equivalence Indeed?
Lineae and Branching Metrics for Quantitative Transition Systems
Linking Theories of Concurrency
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Logic and Its Applications: Proc./5th Indian Conference, ICLA 2013, Chennai, India, January 2013
Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007
Model Checking of Systems Employing Communicative Functions
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010
On Cool Congruence Formats for Week Bisimulations (Extended Abstract)
Open maps and barbed bisimulation for timed transition systems
Open Maps Bisimulations for Higher Dimensional Automata Models
Pfaffian Hybrid Systems
Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Programming Languages and Systems: Proc./15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009
Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010
Refinement of actions for real-time concurrent systems with casual ambiguity
Semantics and Algebraic Specification: Essays Dedicated to Peter D.Mosses on the Occasion of his 60th Birthday