A Foundation for Actor Computation (1998)

Cached

Download Links

by Gul Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott
Venue:Journal of Functional Programming
Citations:222 - 51 self

Active Bibliography

67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
4 A First Order Logic of Effects – Ian A. Mason - 1996
12 Actor Languages: Their Syntax, Semantics, Translation, and Equivalence – Ian A. Mason, Carolyn L. Talcott - 1999
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
1 A Study of Objects – Paul Hankin - 1999
1 Knowledge-Level Speech Acts – Mauro Gaspari, Mura Anteo Zamboni - 1997
13 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages – Satoshi Matsuoka - 1993
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
7 An Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers Case Study – Mauro Gaspari, Gianluigi Zavattaro - 2000
Modeling and Verification of Randomized . . . – Roberto Segala - 1995
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
2 Authors: – Dick Brooks, Dick Brooks, Nick Kassem
9 An Adaptive Resource Management Architecture for Global Distributed Computing – Nalini Venkatasubramanian - 1998