Analysing the Woo-Lam protocol using CSP and rank functions

Shaikh, SA ORCID: 0000-0002-0726-3319 and Bush, Vicky J ORCID: 0000-0002-8733-4358 (2006) Analysing the Woo-Lam protocol using CSP and rank functions. Journal of Research and Practice in Information Technology, 38 (1). pp. 19-29.

Full text not available from this repository.

Item Type:	Article
Article Type:	Article
Depositing User:	EPrints Services
Date Deposited:	06 Mar 2014 11:04
Last Modified:	01 Aug 2021 21:27
URI:	https://eprints.glos.ac.uk/id/eprint/272

University Staff: Request a correction | Repository Editors: Update this record