Justin Templemore-Finlayson
According to our database1,
Justin Templemore-Finlayson
authored at least 3 papers
between 1998 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
2000
Simulating Multicast Transport Protocols in Estelle.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1998
A graphical representation and prototype editor for the Formal Description Technique Estelle.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998