CMCSInfinitary Howe’s Method Paul Blain Levy 1

First Page		Document Content
Date: 2007-05-03 10:47:17 Theoretical computer science Algebraic topology Philosophical logic Deduction Entailment Metalogic Preorder Bisimulation Sheaf Mathematics Logic Abstract algebra		CMCSInfinitary Howe’s Method Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 238,47 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