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

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computing
• Formal languages
• Formal methods
• Bisimulation
• -calculus
• Monad
• Petri net
• Rewriting
• Lac operon

Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Bisimulation
• Applied mathematics
• Mathematics
• Scheduling
• Transition system
• -calculus

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

Source URL: cse.lab.imtlucca.it

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

Source URL: www.doc.ic.ac.uk

On Context Bisimulation for Parameterized Higher-order Processes Xian Xu East China University of Science and Technology June, 2013

Source URL: www.cs.unibo.it

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

Source URL: dl.dropboxusercontent.com

On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc

Source URL: www.cs.unibo.it

in FOSSACS 2004 – www.wischik.com/lu/research/eft.html Strong Bisimulation for the Explicit Fusion Calculus Lucian Wischik1 and Philippa Gardner2 1

Source URL: www.wischik.com

Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses Swansea University, UK FoSSaCS, Rome

Source URL: plancomps.dreamhosters.com

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation