On Modelling User Observations in the UTP-Reference-Cited by-同舟云学术

On Modelling User Observations in the UTP

Published:2010 Issue: Volume: Page:101-119
ISSN:0302-9743
Container-title:Unifying Theories of Programming
language:
Short-container-title:

Author:

Banks Michael J.,Jacob Jeremy L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16690-7_4

Reference15 articles.

1. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)

2. Prentice Hall International Series in Computer Science;C.A.R. Hoare,1998

3. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238–252. ACM, New York (1977)

4. Jacob, J.L.: Refinement of shared systems. In: McDermid, J.A. (ed.) The Theory and Practice of Refinement: Approaches to the Development of Large-Scale Software Systems, pp. 27–36. Butterworths, London (1989)

5. Jacob, J.L.: Basic theorems about security. Journal of Computer Security 1(4), 385–411 (1992)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02

2. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017

3. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

4. Sealed Containers in Z;Lecture Notes in Computer Science;2014