Citations: Language primitives and type disciplines for structured communication-based programming

66 citations found. Retrieving documents...

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98), volume 1381 of Lecture Notes in Computer Science, pages 122--138. Springer-Verlag, 1998.

Home/Search Document Details and Download Summary Related Articles Check

This paper is cited in the following contexts:

First 50 documents Next 50

Correspondence Assertions for Process Synchronization.. - Bonelli, Compagnoni.. (2003) (3 citations) (Correct)

.... Concurrent Communications Eduardo Bonelli 1;3 Adriana Compagnoni 1;4 Stevens Institute of Technology Elsa Gunter 1;2;5 New Jersey Institute of Technology Abstract High level speci cation of patterns of communications such as protocols can be modeled elegantly by means of session types [14]. However, a number of examples suggest that session types fall short when ner precision on protocol speci cation is required. In order to increase the expressiveness of session types we appeal to the theory of correspondence assertions [6,10] The resulting type discipline augments the types of ....

....2003 Published by Elsevier Science B. V. in identifying the sequence of message interchanges that take place between a number of parties in order to carry out some speci c task. Recently, the use of type systems to formalize protocols has interested many researchers, in particular session types [13,14] has emerged as a promising approach. Interaction between a number of parties is achieved by specifying sequences of reciprocal interchanges of messages through private channels. Such sequences are modeled as types, the two parties at each end of the channel having dual such types. These pair of ....

[Article contains additional citation context not shown here]

Honda, K., V. Vasconcelos and M. Kubo, Language primitives and type discipline for structured communication-based programming, in: Proc. of ESOP'98, LNCS (1998).

Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) Self-citation (Honda) (Correct)

No context found.

Honda, K., Kubo, M. and Vasconcelos, V., Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP'98, LNCS 1381, 122-138. Springer-Verlag, 1998.

Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) Self-citation (Honda) (Correct)

Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) Self-citation (Honda) (Correct)

Foclasa 2002 - Typing The Behavior Self-citation (Vasconcelos) (Correct)

No context found.

Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22--138. Springer-Verlag, 1998.

Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) Self-citation (Vasconcelos) (Correct)

No context found.

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. volume 1381 of LNCS, pages 122--138. Springer-Verlag, 1998.

Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (6 citations) Self-citation (Vasconcelos) (Correct)

No context found.

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In C. Hankin, editor, ESOP'98: Proceedings of the European Symposium on Programming, volume 1381 of Lecture Notes in Computer Science, pages 122--138. Springer-Verlag, 1998.

Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) Self-citation (Honda) (Correct)

Electronic Notes in Theoretical Computer Science 68 No. 3 (2003) - Url Http Www Self-citation (Vasconcelos) (Correct)

Fine Grained Multithreading with Process Calculi - Lopes, Silva, Vasconcelos (2001) Self-citation (Vasconcelos) (Correct)

....intermediate representation language for many high level idioms and that this translation allows implicit parallelism to be exposed in the form of multithreaded programs. Several idioms have been encoded into TTyCO, namely a functional core [29] an idiom for client server session based computing [12] and, a language with support for distribution and code mobility [31] In the sequel we will use an example from a functional language to describe the compilation scheme for TTyCO. The example consists of the well known map function applied to a tree structure. fun map f t = case t of H bud = ....

K. Honda, V. Vasconcelos, and M. Kubo. Language Primitives and Type Disciplines for Structured CommunicationBased Programming. In European Symposium on Programming (ESOP'98), volume 1381 of LNCS, pages 122--138. Springer-Verlag, 1998.

A Formal Component Model with Explicit Symbolic.. - Pavel, Noyé, .. (2005) (Correct)

No context found.

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98), volume 1381 of Lecture Notes in Computer Science, pages 122--138. Springer-Verlag, 1998.

Java Implementation of a Component Model with Explicit.. - Pavel, Noye, Poizat.. (2005) (Correct)

Component Adaptation through Flexible Subservicing - Brogi, Canal, Pimentel (2004) (1 citation) (Correct)

No context found.

K. Honda, V.T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In European Symposium on Programming (ESOP'98), volume 1381 of LNCS, pages 122-- 138. Springer, 1998.

Behavioural Types and Component Adaptation - Brogi, Canal, Pimentel (2004) (Correct)

A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)

A Formal Component Model with Explicit Symbolic.. - Pavel, Noyé, .. (2005) (Correct)

Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)

No context found.

Kohei Honda, Vasco Vasconcelos, and Makoto Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 122--138. Springer-Verlag, 1998. 20

A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)

Unknown - Ist- Dynamic Assembly (Correct)

A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)

What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)

An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)

No context found.

Kohei Honda, Vasco Thudichum Vasconcelos, and Makoto Kubo. Language primitives and type discipline for structured communication-based programming. In Chris Hankin, editor, Proc. 7th European Symposium on Programming, number 1381 in Lecture Notes in Computer Science, pages 122--138, Lisbon, Portugal, April 1998. Springer-Verlag.

E-Services: A Look behind the Curtain - Hull, Benedikt, Christophides, Su (2003) (1 citation) (Correct)

No context found.

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In Programming Languages and Systems, 7th European Symposium on Programming, 1998.

Session Types for Asynchronous Communication - Neubauer, Thiemann (Correct)

What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)

No context found.

K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In ESOP'98, vol. 1381 of LNCS, pp. 122--138. SpringerVerlag, 1998. 27, 27

First 50 documents Next 50

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