Typed behavioural equivalences for processes in the presence of subtyping

@article{Hennessy2002TypedBE,
  title={Typed behavioural equivalences for processes in the presence of subtyping},
  author={Matthew Hennessy and Julian Rathke},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={61},
  pages={122-139}
}
Abstract We study typed behavioural equivalences for the π- calculus , in which the type system allows a form of subtyping. This enables processes to selectively distribute different capabilities on communication channels. The equivalences considered include typed versions of testing equivalences and barbed bisimulation equivalences. We show that these can be characterised via standard techniques applied to a novel labelled transition system of configurations . These consist of a process term… CONTINUE READING
BETA

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 43 CITATIONS

Distributed Computing and Internet Technology

  • Lecture Notes in Computer Science
  • 2015
VIEW 28 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Secure implementations of typed channel abstractions

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards an algebraic theory of typed mobile processes

  • Theor. Comput. Sci.
  • 2006
VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Theory of Non-Interference for the π-calculus ?

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Controlling information release in the !-calculus !

VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Typed Processes in Untyped Contexts

VIEW 10 EXCERPTS
CITES BACKGROUND & RESULTS
HIGHLY INFLUENCED

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

  • Logical Methods in Computer Science
  • 2014
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Static vs Dynamic Typing for Access Control in Pi-Calculus

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Theory of System Behaviour in the Presence of Node and Link Failures

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Location and link failure in a distributed π-calculus

VIEW 9 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED