Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
71	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
72	Factored Symmetries for Merge-and-Shrink Abstractions Silvan Sievers and Martin Wehrle and Malte Helmert University of Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Alexander Shleyfman Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-02-02 10:01:34 Physics Chemistry Crystallography Diffeomorphisms Crystal structure Bisimulation Symmetric space Geometry Symmetry Differential geometry
73	Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols ∗ Michele Bugliesi and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Venezia, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:27:34 Numbers Bisimulation Applied mathematics Mathematics Euclidean plane geometry Golden ratio
74	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
75	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
76	An algorithm for computing bisimulations in planning Bachelor Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Computer science Bisimulation Logic in computer science Models of computation Algorithm A* search algorithm State transition system Search algorithm Theoretical computer science Applied mathematics Mathematics
77	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
78	Context-Sensitive Equivalences for Non-Interference based Protocol Analysis ? Michele Bugliesi, Ambra Ceccato, and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Vene Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:04 Bisimulation Logic in computer science Golden ratio Numbers Μ operator Mathematics Theoretical computer science Applied mathematics
79	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science
80	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic

UPDATE