An Approach to Concurrent Semantics Using Complete TracesVan Horn, Kevin S. (1986) An Approach to Concurrent Semantics Using Complete Traces. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5236-tr-86] Full text available as:
AbstractNo abstract available.
Archive Staff Only: edit this record |