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)

Full work available at URL https://doi.org/10.1007/BF01215408

zbMATH Keywords

Hoare-style proof systemreasoning

Mathematics Subject Classification ID

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

Cites work

• A complete axiomatic semantics of spawning
• A Proof System for Communicating Sequential Processes
• 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
• 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?)
• Issues in the design of a parallel object-oriented language
• Ten Years of Hoare's Logic: A Survey—Part I

Cited in

(4)

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

Describes a project that uses

Uses Software

• Smalltalk
• Eiffel

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)