Weakest Precondition Semantics for Time and Concurrency
D.J. Scholefield and H.S.M. Zedan
No Abstract Available
Download Not Available
BibTex Entry
@article{Scholefield1992b,
abstract = {},
author = {D.J. Scholefield and H.S.M. Zedan},
journal = {Information Processing Letters},
pages = {301-308},
title = {Weakest Precondition Semantics for Time and Concurrency},
year = {1992}
}