Open AccessProcess Calculi: The End of the Beginning?
Author(s) -
Peter Sewell
Publication year - 2006
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.01.033
Subject(s) - process (computing) , computer science , process calculus , calculus (dental) , point (geometry) , theoretical computer science , programming language , mathematics , medicine , geometry , dentistry
This note reflects, from a Process Calculus point of view, on lessons learned during research modelling the real-world TCP and UDP network protocols
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom