Work

The reflexive CHAM and the join-calculus

Year: 1996

Type: conference-paper

Abstract: By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with mobility and distribution. Our model provides the foundations of a programming language with functional and object-oriented features. It can also be seen as a process calculus, the join-calculus, which we prove equivalent to the π-calculus of Milner, Parrow and Walker.

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/237721.237805

Authors: Cédric Fournet, Georges Gonthier

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Institut national de recherche en informatique et en automatique (INRIA)

OpenAlex ID: W2050942832

FWCI: 14.99

Cites: 24

Cited by: 481

Related to: 9