An Action Semantics for ML Concurrency Primitives (1994)
by
Peter D. Mosses
,
Martín Musicante
| Venue: | IN FME'94, PROC. FORMAL METHODS EUROPE: SYMPOSIUM ON INDUSTRIAL BENEFIT OF FORMAL METHODS, BARCELONA, VOLUME 873 OF LNCS |
| Citations: | 8 - 5 self |
BibTeX
@INPROCEEDINGS{Mosses94anaction,
author = {Peter D. Mosses and Martín Musicante},
title = {An Action Semantics for ML Concurrency Primitives},
booktitle = {IN FME'94, PROC. FORMAL METHODS EUROPE: SYMPOSIUM ON INDUSTRIAL BENEFIT OF FORMAL METHODS, BARCELONA, VOLUME 873 OF LNCS},
year = {1994},
pages = {461--479},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is about the recently-developed framework of action semantics. The pragmatic
