Rachel Norman, Carron Shankland. Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. In Roberto Moreno-Díaz, Franz Pichler, editors, Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers. Volume 2809 of Lecture Notes in Computer Science, pages 404-414, Springer, 2003. [doi]
Abstract is missing.