AI Chat AI Image Generator AI Video Text to Speech

On Up-to Context Techniques in the π-calculus

12/16/2021

∙

by Enguerrand Prebet, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 06/06/2016

Proof nets for the Displacement calculus

We present a proof net calculus for the Displacement calculus and show i...

0 Richard Moot, et al. ∙

research

∙ 01/12/2018

A Tableaux Calculus for Reducing Proof Size

A tableau calculus is proposed, based on a compressed representation of ...

0 Michael Peter Lettmann, et al. ∙

research

∙ 09/06/2022

Encodability and Separation for a Reflective Higher-Order Calculus

The ρ-calculus (Reflective Higher-Order Calculus) of Meredith and Radest...

0 Stian Lybech, et al. ∙

research

∙ 03/22/2022

Comparing the expressiveness of the π-calculus and CCS

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

0 Rob van Glabbeek, et al. ∙

research

∙ 03/21/2023

An implicit function theorem for the stream calculus

In the context of the stream calculus, we present an Implicit Function T...

0 Michele Boreale, et al. ∙

research

∙ 09/13/2023

Using Pi-Calculus Names as Locks

Locks are a classic data structure for concurrent programming. We introd...

0 Daniel Hirschkoff, et al. ∙

research

∙ 07/11/2023

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation

We introduce the k-variable-occurrence fragment, which is the set of ter...

0 Yoshiki Nakamura, et al. ∙