Modelling Distributed Systems (1977)

Cached

Download Links

by Akinori Yonezawa , Carl Hewitt
Venue:In IJCAI-77
Citations:11 - 1 self

Active Bibliography

Using Message Passing Instead of the GOTO Construct – Carl Hewitt, Carl Hewitt - 1978
44 A model for deliberation, action, and introspection – Jon Doyle - 1980
74 Scheme: An interpreter for extended lambda calculus – Gerald Jay Sussman, Guy L Steele Jr. - 1975
6 Dynamic Graphics using Quasi Parallelism – Kenneth M. Kahn, Carl Hewitt - 1978
33 Representing Knowledge of Large-Scale Space – Benjamin Jack Kuipers - 1977
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
" LF On the Efficient Implementation._........ of Production Systems – Charles L. Forgy - 1979
13 Foundations of a Theory of Specification for Distributed Systems – Eugene W. Stark, Eugene William Stark, Of Teghnology - 1984
4 Developing Formally Verified Ada Programs – Norman Ramsey - 1988
60 The Logical Modelling of Computational Multi-Agent Systems – Michael John Wooldridge - 1992
Role Transfer for Robot Tasking – Paul Fitzpatrick - 2002
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
3 Learning as Knowledge Integration – Kenneth S. Murray - 1995
3 Hierarchical Reinforcement Learning: A Hybrid Approach – Malcolm Ross Kinsella Ryan - 2002
8 A Multi-Agent Planner for Modelling Dialogue – A. Taylor - 1994
1 A.: Definition and correct refinement of operation specification – Thomas Baar, Frédéric Fondement, Alfred Strohmeier, École Polytechnique - 2006
Floyd-Hoare Verifiers 'Considered Harmful' – Howard E. Shrobe - 1978
3 Scalable specification and reasoning: Technical challenges for program logic – Peter W. O’Hearn - 2005
8 Strengthening eiffel contracts using models – Bernd Schoeller - 2003