Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers
mainEntity
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiers
author
description
Proefschrift Eindhoven
inLanguage
mainEntityOfPage
name
Compositionality, concurrency ...... rocesses, and their connection
numberOfPages
publication
sameAs
label
Compositionality, concurrency ...... heir connection / Jakob Zwiers