Roel van der Goot and Arie de Bruin Erasmus University Rotterdam, The...  Home/Search
Context
Related
Links: ACM DBLP | cs.ualberta.ca/~roel/ftp/mfcs95.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.ualberta.ca/~ro...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A metric semantics of the parallel object-based programming language Procol is introduced. It is divided into three layers [2], a global layer, an object layer, and a statement layer. At the global level, the sequence in the interactions between the objects (represented in the object layer) is described. The object level expresses the abstract behavior of one object, i.e., only those aspects that are relevant for the outside world. It specifies the interactions an object is willing to... (Update)
Active bibliography (related documents): More All
0.2: A Classification of Various Approaches for Object-Based.. - Briot, Guerraoui (1996) (Correct)
0.2: Negotiable Interfaces for Components - Kent, Ho-Stuart, Roe (2002) (Correct)
0.1: Compositionality, Inference and Concurrency - Jones (2000) (Correct)
Similar documents based on text: More All
0.1: Research - Re: Search & Re-Search - Plaat (1996) (Correct)
0.1: A Distributed Parallel Object Manager for Smalltalk - Aytekin, Dogac (Correct)
0.1: Nearly Optimal Minimax Tree Search? - Plaat, Schaeffer, Pijls, de Bruin (1994) (Correct)
BibTeX entry: (Update)
@inproceedings{ vandergoot95syntax,
author = "Roel van der Goot and Arie de Bruin",
title = "Syntax and Semantics of Procol",
booktitle = "Mathematical Foundations of Computer Science",
pages = "509-518",
year = "1995",
url = "citeseer.ist.psu.edu/258654.html" }
Citations (may not include all citations):28 Programming language syntax and semantics (context) - Watt - 1991 ACM
19 A layered semantics for a parallel object-oriented language (context) - America, Rutten - 1992 ACM DBLP
13 A parallel object-oriented language: Design and semantic fou.. (context) - America, Rutten - 1989
9 Procol -- a concurrent object-oriented language with protoco.. (context) - van den Bos, Laffra - 1991
4 Procol -- a concurrent object language with protocols (context) - Laffra - 1992
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