António Maria Alarcão Ravara  Home/Search
Context Related
| lamp.epfl.ch/~uwe/ci...ravaraphd.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: lamp.epfl.ch/~uwe/citations/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent objects can offer services non-uniformly, according to synchronisation constraints, that is, the availability of a service depends on the internal state of the object. Interfaces-as-types is an approach not suitable to model non-uniform service availability, and the message-not-understood communication error is very restrictive. Hence, we propose a looser definition of communication error by demanding only that messages requesting a method not enabled, but that may be accepted at... (Update)
Cited by: More
More Dynamic Object Re-classification: Fickle_II - Drossopoulou, Damiani.. (2002) (Correct)
Foclasa 2002 - Typing The Behavior (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
Similar documents (at the sentence level):
10.0%: An Algebra of Behavioural Types - Ravara, Resende, Vasconcelos (1999) (Correct)
6.2%: Typing Non-Uniform Concurrent Objects - Ravara, Vasconcelos (2000) (Correct)
Active bibliography (related documents): More All
0.8: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
0.7: Towards an Algebra of Dynamic Object Types - Ravara, Resende, Vasconcelos (1998) (Correct)
0.7: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.8: Implementação de Servi¸cos.. - Prado, Guedes, Faina.. (Correct)
1.8: On the Design and Implementation of a Virtual Machine for Process.. - Lopes (1999) (Correct)
1.6: Concurrent Object-Oriented Programming: Separation and Composition .. - Silva (Correct)
Related documents from co-citation: More All
7: Graph types for monadic mobile processes - Yoshida - 1996
7: A Typing System for a Calculus of Objects - Vasconcelos, Tokoro - 1993
7: Language primitives and type disciplines for structured communication-based prog.. - Honda, Vasconcelos et al.
BibTeX entry: (Update)
Antonio Ravara and Vasco T. Vasconcelos. Typing Non-uniform Concurrent Objects. Submitted for publication, 1999. http://citeseer.ist.psu.edu/article/onio99typing.html More
@article{ ravara00typing,
author = "Ant{\'o}nio Ravara and Vasco T. Vasconcelos",
title = "Typing Non-uniform Concurrent Objects",
journal = "Lecture Notes in Computer Science",
volume = "1877",
pages = "474+",
year = "2000",
url = "citeseer.ist.psu.edu/article/onio99typing.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
461 Programming Language (context) - Stroustrup - 1991
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
291 A calculus of mobile agents - edric, Georges et al. - 1997
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
254 Theoretical Computer Science (context) - erard, erard et al. - 1992
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
179 The lazy lambda-calculus - Abramsky - 1990
155 Algebra of communicating processes with abstraction (context) - Bergstra, Klop - 1985
149 calculus: A tutorial (context) - Milner - 1991
140 On reduction-based process semantics - Honda, Yoshida - 1995
124 Concepts and paradigms of object-oriented programming (context) - Wegner - 1990
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
115 An asynchronous model of locality (context) - Amadio - 1997
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
102 Bisimulation equivalence is decidable for all context-free p.. - ren, Hans et al. - 1995
86 A partially deadlock-free typed process calculus - Kobayashi - 1997
71 Decidability and Decomposition (context) - ren - 1993
67 Composing processes - Honda
66 Graph types for monadic mobile processes - Yoshida - 1996
62 Issues in the design of a parallel object-oriented language (context) - America - 1989
60 On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
56 INRIA Sophia-Antipolis (context) - erard, Asynchrony et al. - 1992
53 Quasi-linear types - Kobayashi - 1999
47 The Java Language Speci cation (context) - Gosling, Joy et al. - 1996
45 their implementations and their tests (context) - Brinksma, Scollo et al. - 1987
44 A complete axiomatisation for observational congruence of ni.. (context) - Milner - 1989
44 An interaction-based language and its typing system - Takeuchi, Honda et al.
43 the consistency of Koomen's fair abstraction rule (context) - Baeten, Bergstra et al. - 1987
40 The Lambda Calculus - Its Syntax and Semantics (context) - Barendregt - 1981
40 Bisimulation equivalence is decidable for basic parallel pro.. (context) - ren, Yoram et al.
38 International Series in Computer Science (context) - Milner, Concurrency - 1989
37 Regular types for active objects - Nierstrasz - 1995
34 Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
31 Typing the use of resources in a concurrent calculus (context) - erard - 1997
29 A categorial theory of objects as observed processes (context) - Ehrich, Goguen et al. - 1991
27 the expressiveness of internal mobility in name-passing calc.. (context) - Boreale - 1998
27 decidability and axiomatisability for bisimulation equivalen.. (context) - ren, Yoram et al. - 1993
27 Abstract object types: A temporal perspective (context) - lcar, Jos et al. - 1989
27 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
26 Coordination requirements expressed in types for active obje.. - Puntigam - 1997
25 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1996
25 Algebraic implementation of objects over objects (context) - Ehrich, lcar - 1990
24 progressing bisimulation for CCS (context) - Montanari, Sassone et al. - 1992
22 What is an object (context) - lcar, Hans-Dieter - 1991
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
22 Behavioural types for a calculus of concurrent objects - onio, Vasco et al. - 1997
21 A generalized deadlock-free process calculus (context) - Sumii, Kobayashi
21 Towards foundations of concurrent object-oriented programmin.. (context) - Kobayashi, Yonezawa - 1995
20 Types for active objects based on trace semantics - Puntigam - 1996
19 Bisimulation trees and the decidability of weak bisimulation.. (context) - Hirshfeld - 1997
19 Computational models for open distributed systems (context) - Najm, Stefani
16 On behavioural subtyping in LOTOS - Bowman, Briscoe-Smith et al.
16 A process-calculus approach to typed concurrent objects (context) - Vasconcelos - 1994
16 A calculus of object bindings (context) - Najm, Nimour
15 Journal of Information and Computation (context) - Walker, the - 1995
15 On transformations of concurrent-object programs (context) - Philippou, Walker - 1998
15 From processes to objects (context) - lcar, Hans-Dieter et al. - 1990
14 Theory and Practice of Object Systems (context) - Vasconcelos, functions - 1999
11 From CML to its process algebra - Nielson, Nielson - 1996
11 An introduction to the -calculus (context) - Parrow - 2000
10 Principal typing schemes in a polyadic -calculus (context) - Vasconcelos, Honda
10 volume 1243 of Lecture Notes in Computer Science (context) - Best, th et al. - 1993
9 Towards an object calculus (context) - Nierstrasz - 1992
8 A concurrent object calculus: Reduction and typing - Gordon, Hankin
8 Object speci cation logic - lcar, Cristina et al. - 1995
8 Specifying communication in distributed information systems - Ehrich, Caleiro - 2000
8 Norwegian Computing Center (context) - Dahl, Nygaard et al. - 1967
7 Hardness results for weak bisimilarity of simple process alg.. (context) - St, brn - 1998
7 calculus at work: A proof of Jones's parallelisation theorem.. (context) - Sangiorgi - 1997
7 volume 1119 of Lecture Notes in Computer Science (context) - Montanari, Sassone et al. - 1996
7 A concurrent object calculus (context) - Di Blasio, Fisher - 1996
7 Denotational semantics of object speci cation (context) - lcar, Cristina et al. - 1998
6 Predicative polymorphism in -calculus (context) - Vasconcelos
6 runtime errors and operational subsumption (context) - Dami - 1997
6 Objects as mobile processes - uttel, Kleist - 1996
6 Bulletin of the European Association for Theoretical Compute.. (context) - Burkart, Esparza et al. - 1997
5 Inheritance as an incremental modi- cation mechanism or what.. (context) - Wegner, Zdonik - 1988
5 volume 18 of Cambridge Tracts in Computer Science (context) - Baeten, Weijland - 1990
4 Towards an algebra of dynamic object types - onio, Pedro et al. - 1998
4 Centre for Mathematics and Computer Science (context) - Vaandrager, semantics et al. - 1986
3 Non-regular process types - Puntigam - 1999
3 Description and Veri cation of Mobile Processes with Graph R.. (context) - onig - 1999
3 modular actor formalism for arti cial intelligence (context) - Hewitt, Bishop et al. - 1973
3 Partial con uence of processes and systems of objects (context) - Liu, Walker - 1998
3 Guaranteeing liveness in an object calculus through behavior.. (context) - Najm, Nimour et al. - 1999
3 Data encapsulation and modularity: Three views of inheritanc.. - Costa, lcar et al. - 1993
2 Object inheritance beyond subtyping (context) - Costa, lcar et al. - 1994
2 Calcul bleu: types et objets (context) - Dal-Zilio - 1999
2 the semantics of sequential systems with silent moves (context) - van Glabbeek, time et al.
2 Object-oriented speci cation of databases: an algebraic appr.. (context) - lcar, Cristina et al. - 1987
2 Decidability issues for in nite-state processes|a survey (context) - ren, Hans et al. - 1993
2 An extended abstract appeared (context) - erard, The et al. - 1998
2 An extended abstract appeared (context) - Talpin, Jouvelot et al. - 1994
2 Analyses Statiques d'un calcul d'acteurs par typage (context) - Cola - 1997
2 Safety analysis for non-uniform service availability in acto.. (context) - Cola, Mark et al.
2 A set constraint-based analyses of actors (context) - Cola, Mark et al.
2 Available as Technical Reports ECS-LFCS-89-85 and ECS-LFCS (context) - Milner, Parrow et al. - 1989
1 and David Turner (context) - Kobayashi, Pierce
1 Comunication errors in the picalculus are undecidable (context) - Vasconcelos, onio - 1999
1 and Jean-Bernard Stefani (context) - Najm, Nimour
1 Kluwer Academic Publishers (context) - Ciancarini, Fantechi et al. - 1999
1 Reasoning about objects using process calculus techniques (context) - Kleist - 2000
1 rd International Workshop on High-Level Concurrent Languages (context) - Nestmann, Pierce - 1998
1 and John Derrick, editors. 2nd IFIP Conference on Formal Met.. (context) - Bowman - 1997
1 Class-based models in the pi-calculus (context) - Zhang, Potter - 1997
1 rd Annual Symposium on Principles of Programming Languages (context) - Steele - 1996
1 yCO process calculus (context) - Lopes, Silva et al. - 1999
1 and Hans-Dieter Ehrich (context) - Costa, lcar et al. - 1992
1 sattelite event of CONCUR (context) - Nestmann, onio et al. - 2000
1 volume 817 of Lecture Notes in Computer Science (context) - Halatsis, Maritsas et al. - 1994
1 An extended abstract appeared in the Proceedings of ICALP (context) - Sangiorgi, discipline et al. - 1999
1 Generating type systems for process graphs (context) - onig - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://lamp.epfl.ch/~uwe/citations/): More
On the Generalized Dining Philosophers Problem - Herescu, Palamidessi (2001) (Correct)
Asynchronous process calculi: the first-order and higher-order.. - Sangiorgi (1999) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (1997) (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