Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
51	Bisimulation equivalence and regularity for real-time one-counter automata Stanislav B¨ohm1 Technical University of Ostrava, FEI, 17. listopadu, 70833 Ostrava, Czech Republic Stefan G¨oller Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-06-19 07:27:49
52	BRICS Basic Research in Computer Science BRICS RSFiore et al.: Weak Bisimulation and Open Maps Weak Bisimulation and Open Maps Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-11-10 06:24:45
53	Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National University Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-02-16 11:47:52
54	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:40:33
55	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
56	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
57	On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2014-06-10 09:27:45 Markov models Mathematics Probabilistic bisimulation Markov chain Bisimulation Mathematical sciences Markov Theoretical computer science Applied mathematics Markov processes
58	BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:35:43 Theoretical computer science Applied mathematics Process calculus Bisimulation Mathematics Algebraic structures Algebra
59	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
60	BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:52:23 Markov processes Mathematical sciences Markov models Probabilistic bisimulation Bisimulation Stochastic processes Markov chain Probability theory State transition system Statistics Theoretical computer science Applied mathematics

UPDATE