The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
Edit Page
Report
Scan day: 05 March 2014 UTC
20
Virus safety - good
Description: (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages.
CiteSeerX — The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1997) Other Repositories/Bibliography by Joachim Parrow , Björn Victor
Size: 224 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes |
| Keywords: | CiteSeerX, Joachim Parrow, Björn Victor |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): We present the fusion calculus as a significant step towards a canonical calculus of concurrency. It simplifies and extends the -calculus. The fusion calculus contains the polyadic -calculus as a proper subcalculus and thus inherits all its expressive power. The gain is that fusion contains actions akin to updating a shared state, and a scoping construct for bounding their effects. Therefore it is easier to represent computational models such as imperative and concurrent constraints formalisms. It is also easy to represent the so called strong reduction strategies in the -calculus, involving reduction under abstraction. In the -calculus these tasks require elaborate encodings. The dramatic main point of this paper is that we achieve these improvements by simplifying the -calculus rather than adding features to it. The fusion calculus has only one binding operator where the -calculus has two (input and restriction). It has a complete symmetry between input and output actions where th... |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |