The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 8 of 95
Back to Result List

Embedding the pi-calculus into a concurrent functional programming language

  • The synchronous pi-calculus is translated into a core language of Concurrent Haskell extended by futures (CHF). The translation simulates the synchronous message-passing of the pi-calculus by sending messages and adding synchronization using Concurrent Haskell's mutable shared-memory locations (MVars). The semantic criterion is a contextual semantics of the pi-calculus and of CHF using may- and should-convergence as observations. The results are equivalence with respect to the observations, full abstraction of the translation of closed processes, and adequacy of the translation on open processes. The translation transports the semantics of the pi-calculus processes under rather strong criteria, since error-free programs are translated into error-free ones, and programs without non-deterministic error possibilities are also translated into programs without non-deterministic error-possibilities. This investigation shows that CHF embraces the expressive power and the concurrency capabilities of the pi-calculus.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Manfred Schmidt-SchaußORCiDGND, David SabelORCiDGND
URN:urn:nbn:de:hebis:30:3-489493
URL:http://www.ki.informatik.uni-frankfurt.de/papers/frank/
Parent Title (German):Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 60 [version 1.0]
Series (Serial Number):Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (60 [version 1.0])
Publisher:Institut für Informatik, Fachbereich Mathematik und Informatik Goethe-Universität Frankfurt am Main
Place of publication:Frankfurt am Main
Document Type:Working Paper
Language:English
Year of Completion:2019
Year of first Publication:2019
Publishing Institution:Universitätsbibliothek Johann Christian Senckenberg
Release Date:2019/03/06
Tag:adequate translations; concurrency; functional programming; pi-calculus
Issue:[version 1.0] February 12, 2019
Page Number:18
HeBIS-PPN:447265350
Institutes:Informatik und Mathematik / Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Licence (German):License LogoDeutsches Urheberrecht