Kohei Honda  Home/Search
Context Related
Links: ACM DBLP | dcs.qmw.ac.uk/lfp/kohei/...popl96.ps.gz dcs.ed.ac.uk/export/kohe...popl96.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 Homepages: K.Honda |
Rate this article:      (best)Comment on this article |
Abstract: We present a theory of types for concurrency based on a simple notion of typed algebras, and discuss its applications. The basic idea is to determine a partial algebra of processes by a partial algebra of types, thus controlling process composability, just as types in a typed applicative structure [25] determine composability of elements of the underlying applicative structure. A class of typed algebras with a simple operator for process composition are introduced, which are shown to encompass... (Update)
Cited by: More
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (Correct)
Active bibliography (related documents): More All
0.9: Notes on P-Algebra (4): Algebra over Process Structure, Part I. - Honda (Correct)
0.8: Graph Types For Monadic Mobile Processes - Yoshida (1996) (Correct)
0.5: Minimality and Separation Results on Asynchronous Mobile.. - Yoshida (1998) (Correct)
Similar documents based on text: More All
0.1: Elementary Structures in Process Theory (1) Sets with Renaming - Honda (1997) (Correct)
0.1: Notes on P-Algebra (1): Process Structures - Honda (1995) (Correct)
0.1: Types for Dyadic Interaction - Kohei Honda (1993) (Correct)
Related documents from co-citation: More All
47: Typing and sub-typing for mobile processes - Pierce, Sangiorgi - 1996
34: Information and Computation (context) - Milner, Parrow et al. - 1992
31: On reduction-based process semantics - Honda, Yoshida - 1995
BibTeX entry: (Update)
Kohei Honda. Composing processes. In Principles of Programming Languages (POPL), pages 344--357, January 1996. http://citeseer.ist.psu.edu/honda96composing.html More
@inproceedings{ honda96composing,
author = "Kohei Honda",
title = "Composing Processes",
booktitle = "Symposium on Principles of Programming Languages",
pages = "344-357",
year = "1996",
url = "citeseer.ist.psu.edu/honda96composing.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Harper et al. - 1990
982 Theoretical Computer Science (context) - Girard - 1987 ACM
484 A Calculus of Communicating Systems (context) - Milner - 1980
254 Theoretical Computer Science (context) - Berry, Boudol - 1992 ACM
173 An Initial Algebra Approach to the Specification (context) - Goguen, Thatcher et al. - 1978
159 CML: A Higher-Order Concurrent Language (context) - Reppy - 1991 DBLP
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993 DBLP
117 Object-Oriented Concurrent Programming (context) - Yonezawa, Tokoro - 1986 ACM
109 Interaction Nets (context) - Lafont - 1990 ACM DBLP
107 A Foundation for Actor Computation - Agha, Mason et al. ACM DBLP
73 Concurrent Objects in a Process Calculus - Pierce, Turner - 1995 ACM DBLP
48 Types for Dyadic Interaction - Honda - 1993
47 Higher-Order Concurrent Programs with Finite Communication T.. - Nielson, Nielson - 1994 DBLP
44 An Interaction-based Language and its Typing System - Takeuchi, Honda et al. - 1994
42 A Universal Modular ACTOR Formalism for Artificial Intellige.. (context) - Hewitt, Bishop et al. - 1973 DBLP
35 Combinatory Representation of Mobile Processes - Honda, Yoshida - 1994 ACM DBLP
30 Computer Science Department (context) - Milner, Action - 1992
24 A Sort Inference Algorithm for the Polyadic ß-Calculus (context) - Gay - 1993
23 Logic and Algebra of Specification (context) - Milner, Polyadic - 1992 ACM
22 Graph Notation for Concurrent Combinators - Yoshida - 1995
22 Replication in Concurrent Combinators - Honda, Yoshida - 1994
19 A Typed Calculus of Synchronous Processes - Gay, Nagarajan - 1995
19 Process-Algebraic Foundations for an Object-Based Design Not.. (context) - Jones - 1993
11 Principal Typing Scheme for Polyadic ß-Calculus (context) - Vasconcelos, Honda - 1993
10 Process Structure - Honda - 1995
10 Linear Types for Communicating Processes (context) - Gay - 1995
6 Group Presentation of Process Structure (context) - Honda - 1995
4 Handbook of Theoretical Computer Science B (context) - Mitchell - 1990
3 To appear as a CS technical report (context) - Honda, Notes - 1995
3 To appear as a CS technical report (context) - Honda, Notes - 1995
1 A revised version to appear as a CS technical report (context) - Honda - 1995
1 Accommodating Interference in ObjectBased Formal Design (context) - Jones - 1996
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
An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
A Theory of Types for π-Calculus - Honda (1998) (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