A complete symbolic bisimulation for full applied pi calculus
type: Item
instance of: scholarly article
title: A complete symbolic bisimulation for full applied pi calculus
zbMATH Open document ID: 1277.68196
author: Jia Liu
author: Huimin Lin
published in: Theoretical Computer Science
publication date: 2012-11-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6103615
zbMATH Keywords: symbolic semantics
zbMATH Keywords: symbolic bisimulation
zbMATH Keywords: applied pi calculus
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.07.034
OpenAlex ID: W2167019232
cites work: Mobile values, new names, and secure communication
cites work: Private authentication
cites work: Psi-calculi: a framework for mobile processes with nominal data and logic
cites work: Automated verification of selected equivalences for security protocols
cites work: A method for symbolic analysis of security protocols
cites work: A symbolic semantics for the \(\pi\)-calculus
cites work: A Complete Symbolic Bisimilarity for an Extended Spi Calculus
cites work: CONCUR 2004 - Concurrency Theory
cites work: Symbolic bisimulations
cites work: Proof systems for message-passing process algebras
cites work: Extended pi-Calculi
cites work: Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
cites work: A Complete Symbolic Bisimulation for Full Applied Pi Calculus
cites work: Proof System for Applied Pi Calculus
DOI: 10.1016/J.TCS.2012.07.034
Recommended article: A Complete Symbolic Bisimulation for Full Applied Pi Calculus
Recommended article: Symbolic Bisimulation for the Applied Pi Calculus
Recommended article: A theory of bisimulation for the \(\pi\)-calculus
Recommended article: A completeness proof for bisimulation in the pi-calculus using Isabelle
Recommended article: A Complete Symbolic Bisimilarity for an Extended Spi Calculus
Recommended article: Computing bisimulations for finite-control \(\pi\)-calculus
Recommended article: A Fully Symbolic Bisimulation Algorithm
Recommended article: A symbolic semantics for the \(\pi\)-calculus
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: On Bisimulation Theory in Linear Higher-Order π-Calculus
description: scientific article; zbMATH DE number 6103615