F-coalgebra - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2013-03-10 09:53:36 Mathematical analysis Adjoint functors F-coalgebra Theoretical computer science Functors Coalgebra Markov chain Monad Bisimulation Category theory Mathematics Abstract algebra		Add to Reading List Source URL: cs.uni-salzburg.at Download Document from Source Website File Size: 529,88 KB Share Document on Facebook

	Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa DocID: 1xTZy - View Document
	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 DocID: 1xTBZ - View Document
	Differential Bisimulation for a Markovian Process Algebra ? Giulio Iacobelli1 , Mirco Tribastone2 , and Andrea Vandin3 1 Computing and Systems Engineering, Federal University of Rio de Janeiro, Brazil DocID: 1tB0a - View Document
	Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati DocID: 1t8dF - View Document
	On Context Bisimulation for Parameterized Higher-order Processes Xian Xu East China University of Science and Technology June, 2013 DocID: 1t7rD - View Document