On Up-to Context Techniques in the π-calculus

12/16/2021
by   Enguerrand Prebet, et al.
0

We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in this setting for two subsets of the pi-calculus: the asynchronous pi-calculus and a pi-calculus with immediately available names.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

06/06/2016

Proof nets for the Displacement calculus

We present a proof net calculus for the Displacement calculus and show i...
01/12/2018

A Tableaux Calculus for Reducing Proof Size

A tableau calculus is proposed, based on a compressed representation of ...
03/22/2022

Comparing the expressiveness of the π-calculus and CCS

This paper shows that the π-calculus with implicit matching is no more e...
01/26/2021

A program logic for fresh name generation

We present a program logic for Pitts and Stark's ν-calculus, an extensio...
09/22/2017

On the Recognizing Power of the Lambek Calculus with Brackets

Every language recognized by the Lambek calculus with brackets is contex...
03/24/2022

Asynchronous Sessions with Input Races

We propose a calculus for asynchronous multiparty sessions where input c...
07/05/2020

A stochastic calculus approach to the oracle separation of BQP and PH

After presentations of Raz and Tal's oracle separation of BQP and PH res...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.