A behavioural theory for a \(\pi\)-calculus with preorders
type: Item
instance of: scholarly article
title: A behavioural theory for a \(\pi\)-calculus with preorders
zbMATH Open document ID: 1330.68205
author: Daniel Hirschkoff
author: Jean-Marie Madiot
author: Xu Xian
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2015-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6506928
zbMATH Keywords: process calculi
zbMATH Keywords: behavioural equivalence
zbMATH Keywords: labelled transition system
zbMATH Keywords: pi-calculus
zbMATH Keywords: axiomatisation
describes a project that uses: PiDuce
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.jlamp.2015.07.001
OpenAlex ID: W4205795573
cites work: Mobile values, new names, and secure communication
cites work: A presheaf environment for the explicit fusion calculus
cites work: Programming Languages and Systems
cites work: Trustworthy Global Computing
cites work: PiDuce- A project for experimenting web services technologies
cites work: Towards an algebraic theory of typed mobile processes
cites work: Acyclic solos and differential interaction nets
cites work: Q4484502
cites work: Q4536373
cites work: Name-Passing Calculi: From Fusions to Preorders and Types
cites work: On reduction-based process semantics
cites work: Proof System for Applied Pi Calculus
cites work: Algebraic theories for name-passing calculi
cites work: Q3837262
cites work: \(\pi\)-calculus, internal mobility, and agent-passing calculi
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Q4219040
cites work: Foundations of Software Science and Computation Structures
DOI: 10.1016/J.JLAMP.2015.07.001
Recommended article: A Behavioural Theory for a π-calculus with Preorders
Recommended article: Q5216151
Recommended article: Q4536440
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: A theory of bisimulation for the \(\pi\)-calculus
Recommended article: Behavioural equivalences of a probabilistic pi-calculus
Recommended article: Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus
Recommended article: Q4365103
Recommended article: A note on the proof theory of the \(\lambda \Pi\)-calculus
Recommended article: Q4266484
description: scientific article; zbMATH DE number 6506928