Sciweavers

4 search results - page 1 / 1
» mfps 1993
Sort
View
MFPS
1989
13 years 7 months ago
Termination, Deadlock and Divergence
Luca Aceto, Matthew Hennessy
MFPS
1993
13 years 7 months ago
A Chemical Abstract Machine for Graph Reduction
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
Alan Jeffrey
MFPS
1993
13 years 7 months ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik
MFPS
1989
13 years 7 months ago
Operations on Records
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
Luca Cardelli, John C. Mitchell