This VIAF Cluster has been deleted. It is no longer part of VIAF.
Lamport, Leslie. | Temporal logic of actions
VIAF ID: 314287308 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314287308
Preferred Forms
Selected Titles
Author
:
Lamport, Leslie.