Bisimulation - PDFSEARCH.IO - Document Search Engine

Bisimulation
Results: 117

#	Item
21	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
22	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL
23	Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-19 08:08:06
24	Theory Comput Syst DOIs00224Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes ´ Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2014-05-06 10:13:15
25	Decidability of bisimulation on normed commutative context-free processes with silent moves? Wojciech Czerwi´ nski1 , Piotr Hofman2 , and Slawomir Lasota2 1 Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-07-21 15:15:47
26	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
27	A categorical notion of bisimulation Example: BranL Path Logic Correspondence Modal correspondence theory over presheaves Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-06 15:34:10
28	Bisimulation for multi-agent plausibility models Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Mikkel Birkegaard Andersen, Hans van Ditmarsch and Martin Holm Jensen Modal Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-01 15:48:09
29	Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2008-12-17 08:07:55
30	UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:13 Bisimulation Logic in computer science Theoretical computer science Substitution Generalised Whitehead product

UPDATE