Michael Baldamus  Home/Search
Context
Related
| goethe.ira.uka.de/~b...Rendezvous.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: goethe.ira.uka.de/~balda...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a pure process calculus and a value--passing process calculus in which the discipline of process interaction is not, as usual, the synchronous execution of actions but the service rendezvous (rendezvous). New is the following combination: (1) The rendezvous is a primitive. I.e. every particular rendezvous requires exactly one explicit synchronization between the processes taking part in it, namely at its beginning. In this way the framework to be presented here reflects the... (Update)
Active bibliography (related documents): More All
0.8: Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (Correct)
0.3: Basic Observables for Processes - Boreale, De Nicola, Pugliese (Correct)
0.3: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
Similar documents based on text: More All
0.5: Multithreaded Rendezvous: A Design Pattern for.. - Jimenez-Peris.. (1999) (Correct)
0.5: An Implementation of Communicating Reactive Processes - Rajan, Shyamasundar (1997) (Correct)
0.5: An Implementation for CRP - Rajan, Shyamasundar (Correct)
BibTeX entry: (Update)
@misc{ baldamus-ccs,
author = "Michael Baldamus",
title = "CCS without r's with Built-in Service Rendezvous",
url = "citeseer.ist.psu.edu/159168.html" }
Citations (may not include all citations):299 Algebraic Theory of Processes (context) - Hennessy - 1988 ACM
204 Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
137 Laboratory for Foundations of Computer Science (context) - Milner, Parrow et al. - 1989
65 A Parallel Object--Oriented Language (context) - America - 1987
57 calculus Semantics of Object Oriented Programming Languages (context) - Walker - 1990
54 Reference Manual for the Ada Programming Language (context) - Department, Defense - 1983 ACM
24 A Theory of CommunicatingProcesses with Value-- passing (context) - Hennessy, Ing'olfsd'ottir - 1991
15 Testing Equivalences for Petri Nets with Action Refinement - Jategaonkarand, Meyer - 1992
11 Concurrent Testing of Processes (context) - Hennessy - 1992 DBLP
10 CCS without ø 's (context) - De Nicola, Hennessy - 1987
4 Failures Semantics and Deadlocking of Modular Petri Nets (context) - Vogler - 1989
3 Centre for Mathematics and Computer Science (context) - de Bakker, Semantics et al. - 1989
3 CCS for OO and LP (context) - de Bakker, de Vink - 1991 ACM DBLP
2 Rendez--Vous with Metric Semantics (context) - de Bakker, de Vink - 1991
1 Integration applikativer und prozeßorientierter Programmieru.. (context) - Egger - 1991
1 Tau--less CCS with a Remote Procedure Call Primitive (context) - Baldamus - 1994
1 Technische Universitat Berlin (context) - Mahr, Strater et al. - 1990
1 structures as Semantic Models of the --Calculus (context) - Pooyan - 1992
1 Applications of Type Theory (context) - Mahr - 1993 ACM DBLP
1 Processes and a Fair Semantics for the Ada Rendez-- Vous (context) - de Bakker, Zucker - 1983
Documents on the same site (http://goethe.ira.uka.de/~baldamus/papers.html): More
A Non-well-founded Sets Semantics for Observation Congruence.. - Baldamus (1994) (Correct)
Adding Enrichments to Refined Interleavings: A New Model for the .. - Baldamus (1999) (Correct)
Congruence Proofs For Weak Bisimulation on Higher-order .. - Frauenstein, Baldamus, .. (1996) (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