A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Using Process Algebra to Design Better Protocols
[chapter]
2016
The Role and Importance of Mathematics in Innovation
Despite the maturity of formal description languages and formal methods for analyzing them, the description of real protocols is still overwhelmingly informal. The consequences of informal protocol description drag down industrial productivity and impede research progress". Pamela Zave [18]
doi:10.1007/978-981-10-0962-4_8
fatcat:tvoe74227ndntds5qolrdb2gta