A Hoare logic for dynamic networks of asynchronously communicating deterministic processes

DOI10.1016/S0304-3975(00)00304-2zbMath0992.68026MaRDI QIDQ5958463

Frank S. de Boer

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

correctnesscompositionalitydynamic networksHoare logic

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

A UTP approach for rTiMo ⋮ Compositional reasoning about active objects with shared futures ⋮ A system for compositional verification of asynchronous objects ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects

Uses Software

• Smalltalk

Cites Work

• Reasoning about dynamically evolving process structures
• Ten Years of Hoare's Logic: A Survey—Part I
• Verification: Theory and Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes