Process calculus based upon evaluation to committed form

DOI10.1016/S0304-3975(97)00218-1MaRDI QIDQ1276241zbMATH OpenOpenAlexFDO

Authors Andrew M. Pitts, Joshua R. X. Ross

Publication date 22 June 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00218-1

zbMATH Keywords

semanticscommunicating processesevaluation bisimilarity

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Process calculus based upon evaluation to committed form
• scientific article; zbMATH DE number 3986626
• A calculus of mobile processes. I
• On reduction-based process semantics

Cites work

• scientific article; zbMATH DE number 4180818 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• scientific article; zbMATH DE number 1354140 (Why is no real title available?)
• scientific article; zbMATH DE number 4119610 (Why is no real title available?)
• A calculus of mobile processes. II
• A theory of weak bisimulation for core CML
• Asynchronous process calculi: The first- and higher-order paradigms
• Barbed bisimulation
• Bisimulation for higher-order process calculi
• Branching time and abstraction in bisimulation semantics
• Constructive mathematics and computer programming
• On the bisimulation proof method
• Plain CHOCS. A second generation calculus for higher order processes
• Process calculus based upon evaluation to committed form
• Proving congruence of bisimulation in functional programming languages
• The chemical abstract machine

Cited in

(4)

• Process calculus based upon evaluation to committed form
• Making the unobservable, unobservable
• scientific article; zbMATH DE number 3986626 (Why is no real title available?)
• Broadcast calculus interpreted in CCS upto bisimulation

Describes a project that uses

Uses Software

• ML
• Facile
• Pict

This page was built for publication: Process calculus based upon evaluation to committed form

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