Action Emulation 1 Jan van Eijck ([removed])

First Page		Document Content
Date: 2012-03-27 08:46:13 Philosophical logic Modal logic Model theory Non-classical logic Epistemic modal logic Interpretation Kripke semantics Bisimulation Common knowledge Logic Mathematical logic Mathematics		Action Emulation 1 Jan van Eijck ([removed]) Add to Reading List Source URL: homepages.cwi.nl Download Document from Source Website File Size: 391,06 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