Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
61	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
62	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
63	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
64	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
65	doi:j.jlap Add to Reading List Source URL: www.ru.is Language: English - Date: 2008-11-21 09:19:56 Theoretical computer science Mathematical logic Applied mathematics Logic Science Logic in computer science Mathematics Bisimulation
66	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
67	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics
68	Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics
69	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science

UPDATE