Bernard Berthomieu  Home/Search
Context Related
| laas.fr/~bernard/lcs/pap...psls95.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: laas.fr/lcs/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: LCS is an experimental high level parallel programming language aimed at exploring design, implementation and use of programming languages based upon process calculi. LCS extends Standard ML with primitives for concurrency and communication based upon a higher order extension of the CCS formalism. The paper discusses language design, illustrates programming disciplines, and investigates abstract machines for sequential and parallel implementations of the language. (Update)
Context of citations to this paper: More
...by very powerful annotations, but only restricted to the case of static networks. The younger languages Concurrent ML (CML) 18] LCS[1] and Concurrent Haskell [17] aim at a level of abstraction which is lower than that of Eden. The main intention of theses languages is the...
...with the traces generated by implementation for equivalent inputs can be verified during the test process. We have adapted the tool LCS [Ber96] (originally developed for CCS) to obtain execution traces from calculus models. In conclusion, the work briefly presented here...
Cited by: More
Towards Validating Reflective Architectures.. - Marsden, Garcia, Fabre (Correct)
The Eden Coordination Model for Distributed Memory.. - Breitinger, Loogen.. (1997) (Correct)
Active bibliography (related documents): More All
1.4: Programming with behaviors in an ML framework - The.. - Berthomieu, Le Sergent (1994) (Correct)
0.2: Distributed Garbage Collection for Wide Area Replicated Memory - Alfonso Sanchez Lu (2001) (Correct)
0.2: Modelling a Distributed Cached Store for Garbage Collection: .. - Ferreira, Shapiro (1998) (Correct)
Similar documents based on text: More All
0.5: A Calculus of Tagged Types, with applications to process.. - Berthomieu, de Sagazan (Correct)
0.3: Compiling Object Calculi - Lopes, Silva, Vasconcelos (1998) (Correct)
0.2: Graphe de Pas Persistant - Ribet, Vernadat, Berthomieu (2002) (Correct)
Related documents from co-citation: More All
2: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
B. Berthomieu. Process Calculi at Work: An Account of the LCS Project. In PSLS, LNCS 1068. Springer, 1995. http://citeseer.ist.psu.edu/berthomieu95process.html More
@inproceedings{ berthomieu95process,
author = "Bernard Berthomieu",
title = "Process Calculi at Work - An Account of the {LCS} Project",
booktitle = "{PSLS}",
pages = "344-361",
year = "1995",
url = "citeseer.ist.psu.edu/berthomieu95process.html" }
Citations (may not include all citations):297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
159 CML: A higher-order concurrent language (context) - Reppy - 1991
159 The Chemical Abstract Machine (context) - Berry, Boudol - 1992
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
104 Concurrent Programming, Principles and Practice (context) - Andrews - 1991
95 Elements of Functional Programming (context) - Reade - 1989
73 Prentice Hall international series in Computer science (context) - Milner, Concurrency - 1989
67 Recursive Programming Techniques (context) - Burge - 1976
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
18 A Typed Higher-Order Programming Language Based on the Pi-Ca.. - Pierce, Rmy et al. - 1993
13 Parametric channels via label expressions in CCS (context) - Astesiano, Zucca - 1984
10 Programming with behaviors in an ML framework, The syntax an.. - Berthomieu, Le Sergent - 1994
7 LEMMA, A Distributed Shared Memory with Global and Local Gar.. - Matthews, Le Sergent - 1995
5 Balancing load under large and fast load changes in distribu.. (context) - Le Sergent, Berthomieu
4 Incremental multi-threaded garbage collection on virtually s.. - Le Sergent, Berthomieu - 1992
2 Mthodes d'excution et machines virtuelles parallles pour l'i.. (context) - Le Sergent
1 A Calculus of Tagged Types, with Applications to Process Lan.. - Berthomieu, de Sagazan
Documents on the same site (http://www.laas.fr/lcs/papers.html): More
Balancing load under large and fast load changes in.. - Le Sergent, Berthomieu (1994) (Correct)
Implementing CCS, the LCS experiment - Berthomieu (1989) (Correct)
LCS Users Manuals - Berthomieu (1998) (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