Reasoning about dynamically evolving process structures

DOI10.1007/BF01215408MaRDI QIDQ1333406zbMATH OpenFDO

Authors Pierre America, Frank S. de Boer

Publication date 10 September 1995

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

reasoningHoare-style proof system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27)

Cites work

• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3903940 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 192929 (Why is no real title available?)
• A Proof System for Communicating Sequential Processes
• A complete axiomatic semantics of spawning
• An axiomatic basis for computer programming
• Communicating sequential processes
• Denotational semantics of a parallel object-oriented language
• Formal Justification of a Proof System for Communicating Sequential Processes
• Issues in the design of a parallel object-oriented language
• Ten Years of Hoare's Logic: A Survey—Part I

Cited in

(4)

• Verification and refinement with fine-grained action-based concurrent objects
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
• Graph transformations for object-oriented refinement
• rCOS: a refinement calculus of object systems

Describes a project that uses

Uses Software

• Eiffel
• Smalltalk

This page was built for publication: Reasoning about dynamically evolving process structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333406)