Mechanized Reasoning about Concurrent Functional Programs

Cached

Download Links

by Sava Mintchev , London Wm Js

Active Bibliography

A Causal Model and a Declarative Programming Language for Concurrent Systems – Karsten Bohlmann - 1996
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
7 Constructing Skeletons in Clean The Bare Bones – Marco Kesseler - 1995
94 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
6 Explicit Message Passing for Concurrent Clean – Pascal R. Serrarens - 1998
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
13 Functional Skeletons Generate Process Topologies in Eden – Luis A. Galan, Cristóbal Pareja, Ricardo Peña, Luis A. Gal'an - 1996
63 Higher-Order Concurrent Programs with Finite Communication Topology (Extended Abstract) – Hanne Riis Nielson, Flemming Nielson - 1994
1 Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons – Sudholt Piepenbrock, M. Sudholt, C. Piepenbrock, K. Obermayer - 1997
1 THE IMPACT OF DYNAMIC CHANNELS ON FUNCTIONAL TOPOLOGY SKELETONS – J. Berthold, R. Loogen
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
1 A Polymorphic Type and Effect System for Detecting Mobile Functions – Z. Dilsun Kirli - 1999
14 Coordination of Massively Concurrent Activities – Farhad Arbab - 1995
29 Causality for Mobile Processes – Pierpaolo Degano, Corrado Priami - 1995
4 Pict Language Definition – Benjamin C. Pierce, David N. Turner - 1996
13 Programming with behaviors in an ML framework - The syntax and semantics of LCS – Bernard Berthomieu, Thierry Le Sergent - 1994
41 Non-Interleaving Semantics for Mobile Processes – Pierpaolo Degano, Corrado Priami - 1995
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993