Reasoning about dynamically evolving process structures

DOI10.1007/BF01215408zbMATH Open0821.68106MaRDI QIDQ1333406FDOQ1333406

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic basis for computer programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Communicating sequential processes
• A Proof System for Communicating Sequential Processes
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language
• A complete axiomatic semantics of spawning
• Formal Justification of a Proof System for Communicating Sequential Processes

Cited In (4)

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

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)