University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Browse by Publication

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 5.

Lockefeer, L, Williams, DM and Fokkink, W (2016) Formal specification and verification of TCP extended with the Window Scale Option Science of Computer Programming, 118. pp. 3-23.

Smyth, B, Ryan, MD and Chen, L (2015) Formal analysis of privacy in Direct Anonymous Attestation schemes Science of Computer Programming, 111 (2). pp. 300-317.

James, P, Moller, F, Nga Nguyen, H, Roggenbach, M, Schneider, S and Treharne, H (2014) On modelling and verifying railway interlockings: Tracking train lengths Science of Computer Programming, 96 (P3). pp. 315-336.

Schneider, S and Treharne, H (2011) Changing system interfaces consistently: A new refinement strategy for CSP||B Science of Computer Programming, 76 (10). pp. 837-860.

Schneider, S (1997) Timewise Refinement for Communicating Processes. Science of Computer Programming, 28 (1). pp. 43-90.

This list was generated on Mon May 29 01:51:12 2017 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800