Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
On defining the service provided by TCP
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Validating TCP connection management
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Information and Computation
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Termination properties of TCP's connection management procedures
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Challenges of a Validation Process Based on Models: An Industrial Case Study
Bell Labs Technical Journal
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
| Hi-index | 0.00 |