Using Hoare Logic in a Process Algebra Setting.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Fundam. Informaticae (2021)

Keyphrases

process algebra
asynchronous circuits
model checking
formal specification
concurrent systems
concurrent programs
web services composition
formal methods
communication protocols
grid workflow
machine learning
knowledge acquisition
programming environment