Kaku Takeuchi  Home/Search
Context Related
| dcs.qmw.ac.uk/lfp/kohei...parle94.ps.gz dcs.ed.ac.uk/export/koh...parle94.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: dcs.qmw.ac.uk/~kohei/ (more) From: di.fc.ul.pt/~vv/mobilebib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a small language L and its typing system based on the idea of interaction, one of the important notions in parallel and distributed computing. L is based on, apart from such constructs as parallel composition and process creation, three pairs of communication primitives which use the notion of a session, a semantically atomic chain of communication actions which can interleave with other such chains freely, for high-level abstraction of interaction-based computing. Three primitives... (Update)
Cited by: More
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
Active bibliography (related documents): More All
0.5: Sequence Types for the π-calculus - Maffeis (2004) (Correct)
0.4: Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (Correct)
0.3: A Process-Calculus Approach to Typed Concurrent Objects - Vasco Thudichum (1994) (Correct)
Similar documents based on text: More All
0.7: Replication in Concurrent Combinators - Honda, Yoshida (1994) (Correct)
0.7: lambda f-calculus - a Functional Calculus with Shared.. - Yoshida, Honda, Tokoro (Correct)
0.7: Combinatory Representation of Mobile Processes - Kohei Honda Kohei (1994) (Correct)
Related documents from co-citation: More All
26: Language primitives and type disciplines for structured communication-based prog.. - Honda, Vasconcelos et al.
25: A partially deadlock-free typed process calculus - Kobayashi - 1997
23: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
Kaku Takeuchi, Kohei Honda, and Makoto Kubo. An interaction-based language and its typing system. In Proceedings of PARLE'94, pages 398--413. Springer-Verlag, 1994. Lecture Notes in Computer Science number 817. http://citeseer.ist.psu.edu/takeuchi94interactionbased.html More
@inproceedings{ takeuchi94interactionbased,
author = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
title = "An Interaction-based Language and its Typing System",
booktitle = "Parallel Architectures and Languages Europe",
pages = "398-413",
year = "1994",
url = "citeseer.ist.psu.edu/takeuchi94interactionbased.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
2732 Communicating sequential processes (context) - Hoare - 1978
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
854 Information and Computation (context) - Milner, Parrow et al. - 1992
809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
159 CML: A Higher-Order Concurrent Language (context) - Reppy - 1991
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
139 Type Systems for Programming Languages (context) - Mitchell - 1990
125 ABCL: An Object-Oriented Concurrent System (context) - Yonezawa - 1990
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992
62 A Calculus of Higher Order Communicating Systems (context) - Thomsen - 1989
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
48 Types for Dyadic Interaction - Honda - 1993
47 Higher-Order Concurrent Programs with Finite Communication T.. - Nielson, Nielson - 1994
42 A Universal Modular ACTOR Formalism for Artificial Intellige.. (context) - Hewitt, Bishop et al. - 1973
41 The Design and Implementation of ConcurrentSmalltalk (context) - Yokote, Tokoro - 1986
35 Combinatory Representation of Mobile Processes - Honda, Yoshida - 1994
32 Operational Semantics of a Parallel Object-Oriented Language (context) - America - 1986
31 The Semantics of Programming Languages (context) - Hennessy - 1990
27 Principal Typing Schemes in a Polyadic Pi-Calculus (context) - Vasconcelos, Honda - 1993
23 Logic and Algebra of Specification (context) - Milner, ss-Calculus et al. - 1992
22 Semantics for Communication Primitives in a Polymorphic Lang.. - Ohori, Kato - 1993
18 A Typed Higher-Order Programming Language Based on the Pi-Ca.. - Pierce, Remy et al. - 1993
14 Constraining interference in an object-based design method (context) - Jones - 1993
4 Interaction-Based Programming Language and its Typing System (context) - Takeuchi - 1993
2 Predicative Polymorphism in Pi-Calculus - Vasconcelos - 1994
1 On Some Interaction Machines (context) - Kubo, Sashino - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~kohei/): More
A Theory of Types for π-Calculus - Honda (1998) (Correct)
Composing Processes - Honda (1996) (Correct)
Two Bisimilarities in ν-calculus - Honda (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