with local names Alan Jeffrey CTI, DePaul University 243 South Wabash Ave...  Home/Search
Context
Related
| cogs.susx.ac.uk/user...tbfcmllnfull.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: cogs.susx.ac.uk/us...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent ML is an extension of Standard ML with p-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled transitions semantics provided for the entire language. In this paper, we present a labelled transition semantics for a fragment of CML called nCML which includes features not covered before: dynamically generated local channels and thread identifiers. We show that weak bisimilarity for nCML is a congruence, and... (Update)
Similar documents (at the sentence level):
21.0%: A theory of bisimulation for a fragment of concurrent ML with .. - Jeffrey, Rathke (2000) (Correct)
Active bibliography (related documents): More All
0.3: A Calculus of Higher-Order Distributed Components - Stefani (2003) (Correct)
0.3: Towards a Theory of Bisimulation for Local Names - Jeffrey, Rathke (1999) (Correct)
0.2: An Interpretation of Typed Concurrent Objects in the Blue Calculus - Dal-Zilio (1999) (Correct)
Similar documents based on text: More All
0.6: Contextual Equivalence for Higher-Order P-Calculus Revisited - Alan Jeffrey Cti (Correct)
0.4: A Categorical and Graphical Treatment of Closure Conversion - Schweimeier, Jeffrey (1998) (Correct)
0.2: Combining Web Usage and Content Mining for More.. - Mobasher, Dai, Luo.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ names-theory,
author = "With Local Names",
title = "A theory of bisimulation for a fragment of concurrent ML",
url = "citeseer.ist.psu.edu/625749.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Tofte, Milner et al. - 1990
854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
322 volume 92 of Lecture notes in Computer Science (context) - Milner, of et al. - 1980
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
248 Expressing Mobility (context) - Sangiorgi - 1993
197 Barbed bisimulation - Milner, Sangiorgi - 1992
140 On reduction-based process semantics - Honda, Yoshida - 1995
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
94 Equality in lazy computation systems - Howe - 1989
72 A Semantics for ML Concurrency Primitives - Milner, Berry et al. - 1992
67 Higher-Order Concurrency - Reppy - 1992
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
50 From rewrite rules to bisimulation congruences - Sewell - 1992
46 Calculi for Higher-Order Communicating Systems (context) - Thomsen - 1990
45 A theory of weak bisimulation for core CML - Ferreira, Hennessy et al. - 1998
42 Deriving bisimulation congruences for reactive systems - Leifer, Milner - 2000
42 Operational reasoning for functions with local state - Pitts, Stark - 1998
42 Globallocal subtyping and capability inference distributed p.. - local, capability et al. - 1998
19 A hierarchy of equivalences for asynchronous calculi (context) - Fournet, Gonthier - 1998
13 The reflexive CHAM and the join-calculus (context) - Fournet, Gonthier - 1996
7 Higher-order and Symbolic Computation (context) - Boudol, in - 1998
7 Asynchrony and the p-calculus (context) - Boudol - 1991
5 Operational semantics of a focussing debugger (context) - Bernstein, Stark - 1995
5 A concurrent object calculus (context) - Gordon, Hankin - 1998
3 Communication and mobile systems: the p-calculus (context) - Milner - 1999
2 Towards a theory of bisimilarity for local names (context) - Jeffrey, Rathke - 1999
Documents on the same site (http://www.cogs.susx.ac.uk/users/julianr/publications.html): More
Bisimulations for a Calculus of Broadcasting Systems - Hennessy, Rathke (1997) (Correct)
Unique Fixpoint Induction for Value-Passing Processes (Extended.. - Rathke (1997) (Correct)
Bisimulations for a Calculus of Broadcasting Systems - Hennessy, Rathke (1995) (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