Zobrazeno 1 - 3
of 3
pro vyhledávání: '"H. S. M. Zedan"'
Autor:
H. S. M. Zedan, David Scholefield
Publikováno v:
Information Processing Letters. 43:301-308
A weakest precondition semantics for a real-time concurrent language is defined. An example in verification is presented, and the use of predicate transformers as the basis of a refinement calculus is also discussed.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4840d2e6de4e95283195a880cd878724
https://doi.org/10.1016/0020-0190(92)90116-d
https://doi.org/10.1016/0020-0190(92)90116-d
Autor:
H. S. M. Zedan, A Cau
This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-oriented programming is here shown to provide support for constructing large scale systems that are cheaply built and with re
Autor:
H. S. M. Zedan
Distributed Computer Systems: Theory and Practice is a collection of papers dealing with the design and implementation of operating systems, including distributed systems, such as the amoeba system, argus, Andrew, and grapevine. One paper discusses t