Niki Afshartous  Home/Search
Context
Related
| cs.chalmers.se/~afshar/hootsA4.ps 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: cs.chalmers.se/~afshar/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machinej [BB90]. The concurrent evaluation relation =) extends 7\Gamma! to processes, and adds additional rules for process creation, channel creation and communication. 2 ProcID p = h; ei 2 Process = hProcID \Theta Expi P 2 ProcID fin ! Exp The =) relation is the transitive reAEexive closure of =). In addition since the store is used for synchronization we introduce a global store as part of concurrent congurations. The store must be global since synchronization references may be... (Update)
Active bibliography (related documents): More All
0.5: Type-Based Analysis of Uncaught Exceptions - Leroy, Pessaux (1998) (Correct)
0.5: Asynchronous Signals in Standard ML - Reppy (1990) (Correct)
0.5: Functional Transformation Systems - Kort, Lämmel, Visser (2000) (Correct)
Similar documents based on text: More All
0.2: A Study on Efficient Knowledge Discovery by Fuzzy Classifier .. - Fujii, Furuhashi (Correct)
0.2: Information Structures for Traceability for Dependable.. - Pearson, Saeed (Correct)
0.2: A Proposal of Human-Machine Interactive System through.. - Fujii, Furuhashi (1998) (Correct)
BibTeX entry: (Update)
@misc{ afshartous-synchronising,
author = "Niki Afshartous",
title = "Synchronising with First-Class Conditions",
url = "citeseer.ist.psu.edu/253209.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat - 1993
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
306 A syntactic approach to type soundness - Wright, Felleisen - 1992
248 Orca: A language for parallel programming of distributed sys.. - Bal, Kaashock et al. - 1988
239 Monitors: an operating system structuring concept (context) - Hoare - 1974
188 Region-based memory management - Tofte, Talpin - 1997
159 The chemical abstract machine (context) - Berry, Boudol - 1990
153 The Java Language Specication (context) - Gosling, Joy et al. - 1996
127 Highly Parallel Computing (context) - Gottlieb, Almasi - 1989
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
67 Higher-Order Concurrency - Reppy - 1992
63 Concurrent Programming in ML (context) - Reppy - 1999
35 towards the integration of functional and imperative program.. (context) - Lucassen, Eoeects - 1987
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1994
11 Constraints for polymorphic behaviours of Concurrent ML - Nielson, Nielson - 1994
11 Ada 95 Rationale (context) - Inc - 1995
7 Fx-87 reference manual (context) - Gioeord, Jouvelot et al. - 1987
6 First-class synchronous operations - Reppy - 1995
4 Formal Description of Programming Concepts III (context) - Felleisen, Friedman - 1986
4 Processes for Poly and ML - Matthews - 1989
2 Concurrent programming in ML - Ramsey - 1990
2 Polymorphic eoeect systems (context) - Lucassen, Gioeord - 1991
2 ML-Yacc user's manual version - Tarditi, Appel - 1994
1 region and eoeect inference (context) - Talpin, Jouvelot - 1992
1 A special purpose architecture for nite element analysis (context) - Jordan - 1978
1 The type and eoeect dicipline (context) - Talpin, Jouvelot - 1997
1 Concurrency and Programming Languages (context) - Harland - 1986
1 A calculus for concurent objects (context) - Blasio, Fisher - 1996
1 Synchronous operations as rst-class values (context) - Reppy - 1988
1 Comparing data sychronization in Ada 95 and Orca (context) - Bal - 1995
1 Algebraic reconstruction of types and eoeects (context) - Jouvelot, Gioeord - 1991
1 Higher-Order Conditional Synchronization (context) - Afshartous - 1999
Documents on the same site (http://www.cs.chalmers.se/~afshar/):
Expressing Concurrency in Griffin - Afshartous, Harrison (Correct)
Expressing Concurrency in Griffin - Afshartous, Harrison (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