Specification and Implementation of a Multi-Agent Calculus based on Higher-Order Functions (1999)

Cached

Download Links

by Tony Clark
Citations:1 - 0 self

Active Bibliography

1 Implementation of Lazy Agents in the Functional Language EBG – Tony Clark - 1999
2 EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine – Tony Clark - 1999
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
21 Constraints for Free in Concurrent Computation – Joachim Niehren, Martin Müller - 1995
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
15 Functional Languages and Graphical User Interfaces -- a review and a case study – Rob Noble , Colin Runciman - 1994
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
1 Feris: a functional environment for retargetable interactive systems – Robert Ennals - 2000
Special Difficulties – Retargetable Interactive Systems, Name Robert Ennals, Simon Peyton-jones
Metaclasses and Reflection in Smalltalk – A.N. Clark - 1997
An Actor Formalism For Open Concurrent Systems – Shyamasundar Anna Patterson, R. K. Shyamasundar, Anna Patterson, Gul Agha
Chapter 6. An Investigation into Functions as Processes – Unknown
1 Trace Semantics for Concurrent Objects – Vasco Thudichum Vasconcelos, Copyright Vasco, T. Vasconcelos - 1992
3 A Semantic Framework for Object-Oriented Development – Tony Clark - 1999
1 Temporal Reasoning about Actor Programs – Susanne Schacht, Udo Hahn - 1997