Skip to main content

A Calculus of Higher Order Communicating Systems

Publisher page dblp BibTeX

Abstract

In this paper we present A Calculus of Higher Order Communicating Systems. This calculus considers sending and receiving processes to be as fundamental as nondeterminism and parallel composition.

DOI 10.1145/75277.75290

Related papers

The m-calculus: a higher-order distributed process calculus POPL 2003
CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms POPL 1994
Contracts for higher-order functions ICFP 2002
Linearity and the pi-calculus TOPLAS 1999
HOπ in Coq CPP 2018
Bisimulation for Higher-Order Pi-calculus APLAS 2002
The Higher-Order, Call-by-Value Applied Pi-Calculus APLAS 2009
Monitors and blame assignment for higher-order session types POPL 2016