Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
101	Weak Bisimulation Approximants Will Harwood and Faron Moller Department of Computer Science, Swansea University Abstract. Bisimilarity , a canonical notion of equivalence between processes, is defined co-inductively, but Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-05-01 15:35:42 Forcing Set theory Tree Cardinal number Complete Boolean algebra Symbol Bisimulation Constructible universe Weakly compact cardinal Mathematical logic Mathematics Large cardinals
102	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
103	Weak Bisimulation Approximants Will Harwood, Faron Moller, and Anton Setzer⋆ Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 17:32:00 Set theory General topology Constructible universe Tree Cardinal number Net Ordinal arithmetic Mahlo cardinal Mathematical logic Mathematics Ordinal numbers
104	De idability of Weak Bisimilarity for a Subset of Basi Parallel Pro esses Colin Stirling Division of Informati s University of Edinburgh email: psd s.ed.a .uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:58:04 Linguistics Old English language Æ Bisimulation
105	Language Theory and Innite Graphs Colin Stirling S hool of Informati s Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:17 Applied mathematics Mathematics Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Models of computation Automata theory Theoretical computer science
106	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
107	1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:30 Logic in computer science Deterministic pushdown automaton Constructible universe Symbol Bisimulation Computer science Theoretical computer science Automata theory Applied mathematics
108	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes Hans Huttel { [removed] Department of Computer Science Aalborg University Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:01:13 Bisimulation Logic in computer science Method of analytic tableaux Equivalence relation Differential equation Process calculus Theoretical computer science Applied mathematics Mathematics
109	Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:51:25 Mathematics Theoretical computer science Bisimulation Logic in computer science Models of computation Philosophical logic Interpretation First-order logic Structure Logic Mathematical logic Model theory
110	The Joys of Bisimulation Colin Stirling Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:00:26 Models of computation Theoretical computer science Model theory Logic in computer science Philosophical logic Bisimulation F-coalgebra Modal logic First-order logic Logic Mathematical logic Mathematics

UPDATE