Linearity, persistence and testing semantics in the asynchronous pi-calculus

DOI10.1016/J.ENTCS.2007.11.006zbMATH Open1277.68167OpenAlexW2035827916MaRDI QIDQ2864372FDOQ2864372

Authors: Diletta Cacciagrano, Jesús Aranda, Frank D. Valencia, Flavio Corradini 

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.11.006

Recommendations

• Separation of synchronous and asynchronous communication via testing
• Separation of synchronous and asynchronous communication via testing
• On bisimulations for the asynchronous π-calculus
• On the Asynchronous Nature of the Asynchronous π-Calculus
• scientific article; zbMATH DE number 1223739

zbMATH Keywords

persistencelinearitytesting semanticsasynchronous pi-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Truly concurrent constraint programming
• Title not available (Why is that?)
• A calculus of mobile processes. I
• Title not available (Why is that?)
• Testing equivalences for processes
• Linear concurrent constraint programming: Operational and phase semantics
• The \(\pi\)-calculus: A theory of mobile processes
• On the symbolic reduction of processes with cryptographic functions.
• The name discipline of uniform receptiveness
• What is a ``good encoding of guarded choice?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Separation of synchronous and asynchronous communication via testing
• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Security protocols: from linear to classical logic by abstract interpretation
• Leader election in rings of ambient processes
• Broadcast calculus interpreted in CCS upto bisimulation
• On the computational strength of pure ambient calculi
• Separation Results Via Leader Election Problems

Cited In (11)

• Title not available (Why is that?)
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• On the expressiveness of interaction
• Title not available (Why is that?)
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• Towards a unified approach to encodability and separation results for process calculi
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
• Analysing and comparing encodability criteria
• Separation of synchronous and asynchronous communication via testing
• Separation of synchronous and asynchronous communication via testing
• Theory of interaction

This page was built for publication: Linearity, persistence and testing semantics in the asynchronous pi-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864372)