Sciweavers

2 search results - page 1 / 1
» mfps 1989
Sort
View
MFPS
1989
14 years 3 months ago
Termination, Deadlock and Divergence
Luca Aceto, Matthew Hennessy
MFPS
1989
14 years 3 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