Ant'onio Ravara Vasco T. Vasconcelos  Home/Search
Context Related
| cs.math.ist.utl.pt...RVbevtypes.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: cs.math.ist.utl.pt/cs/amarOLD (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new type system for TyCO, a name-passing calculus of concurrent objects. The system captures dynamic aspects of the behaviour of objects, namely non-uniform service availability. The notion of processes without errors is loosened, demanding only weak fairness in the treatment of messages. 1 Motivation The role of name-passing process algebras in the study of the foundations of concurrent programming had been stressed by several authors (cf. [KY95, PT95]). The advantages of the ... (Update)
Context of citations to this paper: More
.... and polymorphic types to template variables [25] Other type systems have been proposed that support non uniform object interfaces [20]. The calculus is reminiscent of the Abadi and Cardelli s calculus in the sense that objects are sums of labeled methods attached to...
...from [Amadio96] and [Odersky95] is that in the calculus, only output polars can be transmitted through a communication channel. Ravara97, Merro00] and others have adopted a similar restriction, but in the calculus this restriction is enforced syntactically. As a consequence,...
Cited by: More
Typing Non-uniform Concurrent Objects - Antonio Ravara And (1999) (Correct)
Description and Verification of Mobile Processes with Graph.. - König (Correct)
Responsive Bisimulation - Zhang, Potter (Correct)
Similar documents (at the sentence level):
41.7%: Behavioural Types for a Calculus of Concurrent Objects - Ravara, Vasconcelos (1997) (Correct)
Active bibliography (related documents): More All
0.5: Towards a Semantic-Based Verification Environment for the .. - Ferrari, Modoni, Quaglia (1995) (Correct)
0.2: Towards an Algebra of Dynamic Object Types - Antonio Ravara Pedro (1998) (Correct)
0.2: Name Matching v.s. Structure Matching in Typing Systems for the.. - Togashi (Correct)
Similar documents based on text: More All
0.5: An Algebra of Behavioural Types - Ravara, Resende, Vasconcelos (1999) (Correct)
0.5: Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
0.3: Programming and Implementation Issues in Non-Uniform TyCO - Ravara, Lopes (1999) (Correct)
Related documents from co-citation: More All
14: A Typing System for a Calculus of Objects - Vasconcelos, Tokoro - 1993
13: A calculus of object bindings (context) - Najm, Nimour - 1997
11: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
BibTeX entry: (Update)
A. Ravara and V. Vasconcelos. Behavioural types for a calculus of concurrent objects. Technical report DM-IST 6/97, Department of Mathematics, Instituto Superior T'ecnico, 1096 Lisboa, Portugal, 1997. Available from ftp://ftp.cs.math.ist.utl.pt/pub/RavaraA/97-R-BEVTYP.ps.gz. http://citeseer.ist.psu.edu/article/ravara97behavioural.html More
@inproceedings{ ravara97behavioural,
author = "Antonio Ravara and Vasco Thudichum Vasconcelos",
title = "Behavioural Types for a Calculus of Concurrent Objects",
booktitle = "European Conference on Parallel Processing",
pages = "554-561",
year = "1997",
url = "citeseer.ist.psu.edu/article/ravara97behavioural.html" }
Citations (may not include all citations):673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
114 Regular types for active objects - Nierstrasz - 1995
76 The polyadic -calculus: a tutorial - Milner - 1991
73 Concurrent objects in a process calculus - Pierce, Turner - 1995
66 Graph types for monadic mobile processes - Yoshida - 1996
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
22 Principal typing schemes in a polyadic - calculus - Vasconcelos, Honda - 1993
21 Towards foundations of concurrent objectoriented programming.. (context) - Kobayashi, Yonezawa - 1995
20 Types for active objects based on trace semantics - Puntigam - 1996
16 A Process-Calculus Approach to Typed Concurrent Objects (context) - Vasconcelos - 1994
14 modular actor formalism for artificial intelligence (context) - Hewitt, Bishop et al. - 1973
9 Flexible types for a concurrent model - Puntigam - 1995
7 A polymorphic type system for the polyadic -calculus (context) - Liu, Walker - 1995
5 Hoare Series Editor -- Prentice-Hall Int (context) - Milner, Concurrency - 1989
2 Programming in the -calculus: an experiment in concurrent la.. (context) - Pierce - 1995
1 Also available as Technical Report ECS-LFCS (context) - Milner, Parrow et al. - 1992
The graph only includes citing articles where the year of publication is known.
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