Reasoning about dynamically evolving process structures-Reference-Cited by-同舟云学术

Reasoning about dynamically evolving process structures

Published:1994-05 Issue:3 Volume:6 Page:269-316
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

America Pierre¹,de Boer Frank²

Affiliation:

1. Philips Research Laboratories, Eindhoven, The Netherlands

2. Department of Computing Science, Eindhoven University of Technology, PO Box 513, 5600, MB Eindhoven, The Netherlands

Abstract

Abstract We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01215408.pdf

Reference14 articles.

1. Issues in the design of a parallel object-oriented language

2. America P. H. M. de Bakker J. W. Kok J. N. and Rutten J. J. M. M.: Operational Semantics of a Parallel Object-Oriented Language. Conference Record of the 13th Symposium on Principles of Programming Languages St. Petersburg Florida pp. 194–208 1986.

3. A Proof System for Communicating Sequential Processes

4. Ten Years of Hoare's Logic: A Survey—Part I

5. Formal Justification of a Proof System for Communicating Sequential Processes

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

1. Evolving Systems: Review;Wiley Encyclopedia of Electrical and Electronics Engineering;2017-11-14

2. rCOS: A Refinement Calculus of Internetware Systems;Internetware;2016

3. Graph transformations for object-oriented refinement;Formal Aspects of Computing;2009-02

4. Abstract Object Creation in Dynamic Logic;FM 2009: Formal Methods;2009

5. A Perspective on Program Verification;Verified Software: Theories, Tools, Experiments;2008