Roberto M. Amadio  Home/Search
Context Related
| protis.univmrs.fr/~amadi...tcf94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: protis.univmrs...iblio_my_amadio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In first approximation Core Facile is a simply typed -calculus enriched with parallel composition, dynamic channel generation, and input-output synchronous communication primitives. In this paper we explore the (dynamic) semantics of core Facile programs. This should be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. We claim two main contributions. We introduce a new semantics based on the notion... (Update)
Context of citations to this paper: More
.... is in terms of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 41, 50]. We believe that our typing system can be readily adapted to related location based distributed calculi such as those in [6, 12, 28,...
.... encodable via asynchronous message passing, although translations of synchronous communication into asynchronous have been demonstrated [1, 13]. Synchronization constraints, which describe restrictions on the availability of methods, are specified through guards. We adopted...
Cited by: More
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
Actor Languages: Their Syntax, Semantics, Translation, and.. - Mason, Talcott (Correct)
Analysis for Concurrent Objects - Di Blasio, Fisher, Talcott (1996) (Correct)
Active bibliography (related documents): More All
0.3: Process Semantics of Graph Reduction - Brock, Ostheimer (1995) (Correct)
0.3: A Study on Mobile Language Systems - Sekiguchi (1999) (Correct)
0.2: From a Concurrent lambda-calculus to the pi-calculus - Amadio, Leth, Thomsen (Correct)
Similar documents based on text: More All
0.4: Analysis of Facile Programs: a Case Study - Degano, Priami, Leth, Thomsen (1996) (Correct)
0.4: FaCiLe: a Functional Constraint Library - Brisset, Barnier (2001) (Correct)
0.3: Understanding Mobile Agents via a non-interleaving semantics.. - Borgia Degano (1996) (Correct)
Related documents from co-citation: More All
9: Facile: A symmetric integration of concurrent and functional programming (context) - Giacalone, Mishra et al. - 1989
9: Information and Computation (context) - Milner, Parrow et al. - 1992
8: Operational and algebraic semantics for facile: A symmetric integration of concu.. (context) - Giacalone, Mishra et al. - 1990
BibTeX entry: (Update)
R. Amadio. Translating Core Facile. Technical Report ECRC-94-3, ECRC, Munich, 1994. http://citeseer.ist.psu.edu/amadio95translating.html More
@techreport{ amadio94translating,
author = "Roberto M. Amadio",
title = "Translating {C}ore {F}acile",
number = "ECRC-94-3",
address = "M{\"u}n\-chen",
year = "1994",
url = "citeseer.ist.psu.edu/amadio95translating.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
521 Compiling with continuations (context) - Appel - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
248 Expressing mobility (context) - Sangiorgi - 1992
218 The mechanical evaluation of expressions (context) - Landin - 1964
197 Barbed bisimulation - Milner, Sangiorgi - 1992
194 Functions as processes (context) - Milner - 1992
159 Cml: A higher-order concurrent language (context) - Reppy - 1991
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
110 A formulae-as-types notion of control - Griffin - 1990
76 Control operators (context) - Felleisen, Friedman - 1986
75 A syntactic theory of sequential control (context) - Felleisen, Friedman et al. - 1987
55 Representing control: a study of the cps transformation - Danvy, Filinski - 1992
55 Facile antigua release programming guide (context) - Thomsen, Leth et al. - 1993
23 An abstract framework for environment machines (context) - Curien - 1991
17 Some issues in the semantics of facile distributed programmi.. (context) - Thomsen, Leth et al. - 1992
10 Some facile chemistry (context) - Leth, Thomsen - 1992
8 A concurrent and distributed extension of scheme - Queinnec - 1992
6 Also appeared as TR 89/4 (context) - Thomsen, Acta et al. - 1993
5 An operational semantics for a parallel functional language .. - Moreau - 1992
3 A new process model for functions - Glauert, Leth et al. - 1992
1 ACM Sigplan Notices (context) - Hieb, Dybvig et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://protis.univ-mrs.fr/~amadio/biblio_my_amadio.html): More
From a Concurrent lambda-calculus to the pi-calculus - Amadio, Leth, Thomsen (Correct)
An Analysis of pi-calculus Bisimulations - Amadio, Ait-Mohamed (1995) (Correct)
An Asynchronous Model of Locality, Failure, and Process Mobility - Amadio (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC