Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
31	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
32	Weak Bisimulation Up to Elaboration Damien Pous ENS Lyon Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that e Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
33	Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1 Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2009-06-30 03:41:27
34	Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines Damien Pous ∗ ENS Lyon, France. Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
35	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
36	On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France Abstract. We illustrate the use of recent, non-trivial proof techniques Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
37	Bisimulation Equivalence for First-Order Grammars Petr Janˇcar Techn. Univ. Ostrava, Czech Republic; url: http://www.cs.vsb.cz/jancar/ 8 Mare.g. for trying to derive more results about the complexity Add to Reading List Source URL: www.cs.vsb.cz Language: English - Date: 2012-03-09 05:05:26
38	Up-to Techniques for Weak Bisimulation Damien Pous ENS Lyon Abstract. Up-to techniques have been introduced to enhance the bisimulation proof method for establishing bisimilarity results. While up-to techniques for stron Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2012-10-03 08:42:33
39	A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-09-12 07:18:02 Logic in computer science Model theory Mathematics Automata theory Computer science Theoretical computer science Applied mathematics Bisimulation
40	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2015-05-26 20:54:57 Functional languages XML Model theory XPath 1.0 XPath First-order logic Constructible universe XQuery XSLT Computing Web standards Mathematical logic

UPDATE