Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
91	Book Announcement (January[removed]A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN by Alessandro Aldini Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2010-01-13 13:34:50 Logic in computer science Logic Mathematical logic Model theory Bisimulation Equivalence relation Algorithm Interpretation Theoretical computer science Mathematics Applied mathematics
92	On the Tractability of Comparing Informational Structures∗ C´edric D´egremont1 , Lena Kurzen2 , and Jakub Szymanik3 1, 3 2 Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-11-28 09:21:46 Philosophical logic Modal logic Model theory Complexity classes Theoretical computer science Bisimulation Kripke semantics Epistemic modal logic Saul Kripke Logic Mathematical logic Mathematics
93	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
94	Logics for Information Update a tutorial for TARK Siena 2001 J o h a n van B e n t h e m johan@{illc.uva.nl, csli.stanford.edu} ILLC Amsterdam & CSLI Stanford Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Model theory Branches of philosophy Metalogic Epistemic modal logic Kripke semantics Common knowledge Bisimulation Belief revision Logic Mathematical logic Philosophical logic
95	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
96	1 Book Title Book Editors IOS Press, 2003 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:25 Applied mathematics Computer science Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Nested word Automata theory Models of computation Theoretical computer science
97	Bisimulation, Model Checking and Other Games Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:02:37 Bisimulation Theoretical computer science Model checking Mathematics Modal logic Temporal logic Logic Philosophical logic Logic in computer science
98	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:58:59 Philosophical logic Metalogic Formal languages Bisimulation Interpretation Modal logic First-order logic Entailment Kripke semantics Logic Mathematical logic Model theory
99	Formal Methods for First Years Faron Moller Liam O’Reilly Department of Computer Science Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-05-22 17:09:30 Mathematics Bisimulation State space Differential equation Computer science Theoretical computer science Logic in computer science Applied mathematics
100	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-compsci.swan.ac.uk Language: English - Date: 2006-07-06 06:30:07 Constructible universe Cardinal number Tree Net Limit ordinal Ordinal arithmetic Mahlo cardinal Mathematical logic Ordinal numbers Mathematics

UPDATE