Vasco Thudichum Vasconcelos Keio University Department of Computer Science...  Home/Search
Context Related
| di.fc.ul.pt/~vv/pape...phdthesis.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: di.fc.ul.pt/~vv/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . I propose an untyped name-passing calculus and a series of decidable type systems assigning types to names in terms. The calculus, designed according to the modern trends in name-passing calculi, is intended to capture the basic concepts of concurrent objects. The type systems, developed along the lines of those for -calculi, provide for partial-specification in the form of communication protocols for programs, and for partial-correctness wherein typable terms are assured not to run into... (Update)
Cited by: More
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Active bibliography (related documents): More All
0.7: Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
0.5: Recursive Types in a Calculus of Objects - Vasconcelos (1993) (Correct)
0.4: Typed Concurrent Objects - Vasconcelos (1994) (Correct)
Similar documents based on text: More All
0.2: Maximum Entropy Model Learning of the Translation Rules - Sato, Nakanishi (1998) (Correct)
0.1: Trace Semantics for Concurrent Objects - Vasconcelos (1992) (Correct)
0.1: Principal Typing Schemes in a Polyadic π-Calculus - Vasconcelos, Honda (Correct)
Related documents from co-citation: More All
3: ACM. 26th Annual Symposium on Principles of Programming Languages (POPL) (San Antonio, TX), 1999.
2: The fusion calculus: Expressiveness and symmetry in mobile processes - Parrow, Victor - 1998
BibTeX entry: (Update)
Vasco Thudichum Vasconcelos. A process-calculus approach to typed concurrent objects. PhD thesis, Keio University, 1994. http://citeseer.ist.psu.edu/72347.html More
@phdthesis{ vasconcelos94processcalculus,
author = "Vasco Thudichum Vasconcelos",
title = "A process-calculus approach to typed concurrent objects",
year = "1994",
url = "citeseer.ist.psu.edu/72347.html" }
Citations (may not include all citations):325 Towards a theory of type structure (context) - Reynolds - 1974
248 Expressing Mobility (context) - Sangiorgi - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
117 Object-Oriented Concurrent Programming (context) - Yonezawa, Tokoro - 1987
107 Complete type inference for simple objects (context) - Wand - 1987
105 Records for logic programming - Smolka, Treinen - 1992
102 Type inference for record concatenation and multiple inherit.. - Wand - 1989
99 Typed concurrent objects - Vasconcelos - 1994
88 Typechecking records and variants in a natural extension of .. (context) - R'emy - 1989
78 Efficiency of a good but not linear set union algorithm (context) - Tarjan - 1975
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
57 Type inference for records in a natural extension of ML (context) - R'emy - 1993
57 calculus semantics of object-oriented programming languages (context) - Walker - 1992
55 A simple algorithm and proof for type inference (context) - Wand - 1987
24 Type inference with subtypes (context) - Stansifer - 1988
22 Logic and logic programming (context) - Robinson - 1992
22 Corrigendum: complete type inference for simple objects (context) - Wand - 1988
18 A typed higher-order programming language based on the pi-ca.. - Pierce, R'emy et al. - 1993
16 an Object-Oriented Concurrent System (context) - Yonezawa, ABCL - 1990
12 Principal typing-schemes in a polyadic ß-calculus (context) - Vasconcelos, Honda - 1992
12 Principal typing-schemes in a polyadic ß-calculus (context) - Vasconcelos, Honda - 1993
5 Predicative polymorphism in ß-calculus (context) - Vasconcelos - 1994
4 An interaction-based programming language and its typing sys.. (context) - Takeuchi, Honda et al. - 1994
3 Fast unification (context) - Robinson - 1976
2 calculus sorting discipline (context) - Turner, ss- - 1992
2 An operational semantics and a typing system for ABCL/1 base.. (context) - Vasconcelos - 1994
1 Recursive types in a calculus of objects - Vasconcelos - 1993
1 Transactions of Information Processing Society of Japan (context) - Vasconcelos, in et al. - 1994
Documents on the same site (http://www.di.fc.ul.pt/~vv/publications.html): More
A Typing System for a Calculus of Objects - Vasconcelos, Tokoro (1993) (Correct)
Predicative Polymorphism in π-Calculus - Vasconcelos (1994) (Correct)
Typed Concurrent Objects - Vasconcelos (1994) (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