Reasoning about interference in an object-based design method-Reference-Cited by-同舟云学术

Reasoning about interference in an object-based design method

Published: Issue: Volume: Page:1-18
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Jones C. B.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0024634

Reference48 articles.

1. P. America and F. de Boer. A proof system for process creation. In [BJ90], pages 303–332, 1990.

2. Pierre America. A proof theory for a sequential version of POOL. Technical Report 0188, Philips Research Laboratories, Philips Research Laboratories, Nederlandse Philips Bedrijven, B.V., September 1986.

3. Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.

4. J. C. M. Baeten and J. F. Groote, editors. CONCUR'91 — Proceedings of the 2nd International Conference on Concurrency Theory, volume 527 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

5. M. Broy and C. B. Jones, editors. Programming Concepts and Methods. North-Holland, 1990.

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

1. An engineering process for the verification of real-time systems;Formal Aspects of Computing;2007-03

2. Constructs, concepts and criteria for reuse in concurrent object-oriented languages;Fundamental Approaches to Software Engineering;1998

3. Developing parallel object-oriented programs in the framework of VDM;Annals of Software Engineering;1996-12

4. Procedures and atomicity refinement;Information Processing Letters;1996-10

5. Accommodating interference in the formal design of concurrent object-based programs;Formal Methods in System Design;1996-03