Using Process Algebra to Design Better Protocols [chapter]

Peter Höfner
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