Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
111	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
112	Action Emulation 1 Jan van Eijck ([removed]) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-27 08:46:13 Philosophical logic Modal logic Model theory Non-classical logic Epistemic modal logic Interpretation Kripke semantics Bisimulation Common knowledge Logic Mathematical logic Mathematics
113	Bisimulation Equivalence is Decidable for all Context-Free Processes Sren Christensen Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:05:50 Applied mathematics Bisimulation Logic in computer science Witness Differential equation Logic Theoretical computer science Mathematics Mathematical logic
114	When Are Two Workflows the Same? Jan Hidders1 , Marlon Dumas2 , Wil M.P. van der Aalst3 , Arthur H.M. ter Hofstede2 , Jan Verelst4 Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2010-06-09 08:23:28 Logic in computer science Mathematics Models of computation Bisimulation Workflow Petri net Equivalence relation Workflow technology Applied mathematics Theoretical computer science
115	A Compositional Approach to Performance Modelling Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-10-04 12:20:33 Mathematics Process calculi Applied mathematics Markov models Stochastic processes Bisimulation Markov chain PEPA Process calculus Statistics Markov processes Theoretical computer science
116	PDF Document Add to Reading List Source URL: philo.ruc.edu.cn Language: English - Date: 2008-12-25 08:07:55 Model theory Modal logic Philosophical logic Non-classical logic Kripke semantics Sheaf theory First-order logic Bisimulation F-coalgebra Logic Mathematical logic Mathematics
117	PDF Document Add to Reading List Source URL: cs.uni-salzburg.at Language: English - Date: 2013-03-10 09:53:36 Mathematical analysis Adjoint functors F-coalgebra Theoretical computer science Functors Coalgebra Markov chain Monad Bisimulation Category theory Mathematics Abstract algebra