Kohei Honda, Mario Tokoro  Home/Search
Context Related
| dcs.qmw.ac.uk/lfp/kohei/objcal.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner's work on ß-calculus, the communication primitive of the formal system is purely asynchronous, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner's calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is ... (Update)
Cited by: More
TCP, UDP, and Sockets: - Rigorous And Experimentally-Validated (Correct)
Timing UDP: mechanized semantics - For Sockets Threads (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Active bibliography (related documents): More All
0.3: A UNITY-based Algorithm Design Assistant - Charpentier, Hadri, Padiou (1995) (Correct)
0.3: Design, Analysis and Reasoning about Tools: Abstracts from the.. - (editor) (1992) (Correct)
0.2: On Asynchronous Communication Semantics - Honda, Tokoro (1992) (Correct)
Similar documents based on text: More All
0.2: Morphe: A Constraint-Based Object-Oriented Language.. - Shigeru Watari Yasuaki (1992) (Correct)
0.2: A Process-Calculus Approach to Typed Concurrent Objects - Vasco Thudichum (1994) (Correct)
0.2: An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
Related documents from co-citation: More All
52: Information and Computation (context) - Milner, Parrow et al. - 1992
37: Communication and Concurrency (context) - Milner - 1989
30: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
BibTeX entry: (Update)
Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Pierre America, editor, Proceedings of the European Conference on ObjectOriented Programming (ECOOP), volume 512 of Lecture Notes in Computer Science, Geneva CH, 1991. Springer-Verlag , Berlin, Heidelberg, New York, Tokyo. http://citeseer.ist.psu.edu/honda91object.html More
@article{ honda91object,
author = "Kohei Honda and Mario Tokoro",
title = "An Object Calculus for Asynchronous Communication",
journal = "Lecture Notes in Computer Science",
volume = "512",
pages = "133--??",
year = "1991",
url = "citeseer.ist.psu.edu/honda91object.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986 ACM
484 Calculus of Communicating Systems (context) - Milner - 1980
299 Conditional Rewriting Logic as a Unified Model of Concurrenc.. (context) - Meseguer - 1991 ACM
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991 ACM DBLP
216 Theoretical Computer Science (context) - Milner - 1983
200 Viewing Control Structures as Patterns of Passing Messages (context) - Hewitt - 1977 DBLP
194 Functions as Processes (context) - Milner - 1990
117 Object-Oriented Concurrent Programming (context) - Yonezawa, Tokoro - 1986 ACM
70 On Asynchronous Communication Semantics - Honda, Tokoro - 1992
62 A calculus of higher order communicating systems (context) - Thomsen - 1989 ACM DBLP
52 The Chemical Abstract Machine (context) - Berry, Boudol - 1990 ACM DBLP
42 A Universal Modular ACTOR Formalism for Artificial Intellige.. (context) - Hewitt, Bishop et al. - 1973 DBLP
39 Sheaf semantics for concurrent interacting objects - Goguen - 1990 DBLP
22 MIT Artificial Intelligence Laboratory (context) - Clinger
17 Computational Field Model: Toward a New Computing Model/Meth.. - Tokoro - 1990
17 Towards a Type Theory for Active Objects - Nierstrasz ACM DBLP
11 Centre Universitaire D'informatique (context) - Tsichritzis - 1990
10 A Guide to Specifying Concurrent Behaviour with Abacus - Nierstrasz
4 Computational Field Model for Open Distributed Environment (context) - Tokoro, Honda - 1991
3 Computer Science Department (context) - Engberg, of et al. - 1986
1 Communicatin Sequential Processes (context) - Hoare - 1985
1 The Lambda Calculus: Its Syntax and Semantics (context) - Barendreght - 1984
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)
Composing Processes - Honda (1996) (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