Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo  Home/Search
Context Related
| di.fc.ul.pt/~vv/papers/langprim.pdf 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: . We introduce basic language constructs and a type discipline as a foundation of structured communication-based concurrent programming. The constructs, which are easily translatable into the summation-less asynchronous #-calculus, allow programmers to organise programs as a combination of multiple flows of (possibly unbounded) reciprocal interactions in a simple and elegant way, subsuming the preceding communication primitives such as method invocation and rendez-vous. The resulting... (Update)
Cited by: More
A Formal Component Model with Explicit Symbolic.. - Pavel, Noyé, .. (2005) (Correct)
Java Implementation of a Component Model with Explicit.. - Pavel, Noye, Poizat.. (2005) (Correct)
Component Adaptation through Flexible Subservicing - Brogi, Canal, Pimentel (2004) (Correct)
Similar documents (at the sentence level):
62.5%: Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (Correct)
Active bibliography (related documents): More All
0.4: An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
0.4: Graph Types For Monadic Mobile Processes - Yoshida (1996) (Correct)
0.3: A Process-Calculus Approach to Typed Concurrent Objects - Vasco Thudichum (1994) (Correct)
Similar documents based on text: More All
0.1: A Framework for Compiling Object Calculi - Lopes, Silva, Vasconcelos (1997) (Correct)
0.1: An Integrated Approach for Flexible Workflow Modeling - Wong, Low, Ren (1998) (Correct)
0.1: Technical Issues In Modelling The European Train Control .. - Jansen, Horste.. (1998) (Correct)
Related documents from co-citation: More All
34: Types and Subtypes for Client-Server Interactions - Gay, Hole - 1999
27: Information and Computation (context) - Milner, Parrow et al. - 1992
27: An object calculus for asynchronous communication - Honda, Tokoro - 1991
BibTeX entry: (Update)
K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. Full version of this paper, in preparation. http://citeseer.ist.psu.edu/359824.html More
@article{ honda98language,
author = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
title = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
journal = "Lecture Notes in Computer Science",
volume = "1381",
pages = "122--??",
year = "1998",
url = "citeseer.ist.psu.edu/359824.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1995
2732 Communicating sequential processes (context) - Hoare - 1978
1074 The Definition of Standard ML (context) - Milner, Tofte - 1991
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
194 Functions as processes (context) - Milner - 1992
159 The chemical abstract machine (context) - Berry, Boudol - 1992
159 CML: A higher-order concurrent language (context) - Reppy - 1991
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
127 Information and Computation (context) - Walker, the - 1995
117 Object-Oriented Concurrent Programming (context) - Yonezawa, Tokoro - 1987
114 Fundamental properties of infinite trees (context) - Courcelle - 1983
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
99 Typed concurrent objects - Vasconcelos - 1994
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
67 Composing processes - Honda - 1996
66 Graph Types for Monadic Mobile Processes - Yoshida - 1996
66 Language primitives and type disciplines for structured comm.. - Honda, Vasconcelos et al.
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
56 Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi - 1997
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
47 Higher-order concurrent programs with finite communication t.. - Nielson, Nielson - 1994
41 Concurrent programming in ConcurrentSmalltalk (context) - Yokote, Tokoro
36 Interaction Categories and Foundations of Typed Concurrent C.. - Abramsky, Gay et al. - 1995
32 Operational Semantics of a Parallel Object-Oriented Language (context) - America - 1986
23 Logic and Algebra of Specification (context) - Milner, -Calculus et al. - 1992
22 Semantics for communication primitives in a polymorphic lang.. - Ohori, Kato - 1993
21 Reasoning about Dynamically Evolving Process Structures (context) - America, de Boer - 1994
19 Process-Algebraic Foundations for an Object-Based Design Not.. (context) - Jones - 1993
17 Accommodating Interference in the Formal Design of Concurren.. (context) - Jones - 1996
16 an Object-Oriented Concurrent System (context) - Yonezawa, ABCL - 1990
11 Concurrent Haskell - Jones, Gordon et al. - 1996
6 Hoare Series Editor (context) - Milner, Concurrency - 1989
5 Principal Typing Scheme for Polyadic #-Calculus (context) - Vasconcelos, Honda - 1993
4 An interaction-based programming language and its typing sys.. (context) - Takeuchi, Honda et al. - 1994
4 A polymorphic type system for the polyadic pi-calculus (context) - Liu, Walker - 1995
2 The Ada Programming Language (context) - Printing, ce et al. - 1983
2 A framework for compiling object calculi - Lopes, Silva et al.
1 A Sort Inference Algorithm for the Polyadic #-Calculus (context) - Gay - 1993
1 Typed Concurrent Programming with Logic Variables (context) - Muller, Niehren et al. - 1998
The graph only includes citing articles where the year of publication is known.
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