Mechanizing a Process Algebra for Network Protocols
Crossref DOI link: https://doi.org/10.1007/s10817-015-9358-9
Published Online: 2016-01-23
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bourke, Timothy http://orcid.org/0000-0003-0601-4182
van Glabbeek, Robert J.
Höfner, Peter
Text and Data Mining valid from 2016-01-23