Ph.D dissertation website
formal-methods
software-product-lines
foda
process-algebras
operational-semantics
denotational-semantics
axiomatic-semantics
-
Updated
Aug 8, 2020 - HTML
Ph.D dissertation website
Add a description, image, and links to the process-algebras topic page so that developers can more easily learn about it.
To associate your repository with the process-algebras topic, visit your repo's landing page and select "manage topics."