Using Hoare logic in a process algebra setting
| Authors | |
|---|---|
| Publication date | 21-12-2019 |
| Edition | v2 |
| Number of pages | 19 |
| Publisher | ArXiv |
| Organisations |
|
| Abstract | This paper concerns the relation between process algebra and Hoare logic. We introduce an extension of ACP (Algebra of Communicating Processes) with features that are relevant to processes in which data are involved, present a Hoare logic for the processes considered in this process algebra, and discuss the use of this Hoare logic as a complement to pure equational reasoning from the equational axioms of the process algebra. |
| Document type | Preprint |
| Note | Version 1 (11 Jun 2019) and 3 (13 Oct 2020) also available on arXiv.org. |
| Language | English |
| Related publication | Using Hoare Logic in a Process Algebra Setting |
| Published at |
https://doi.org/10.48550/arXiv.1906.04491
(Final published version)
|
| Downloads |
43606534
(Final published version)
|
| Permalink to this page | |
