A fully abstract may testing semantics for concurrent objects

Jeffrey, Alan and Rathke, Julian (2005) A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338 (1-3). pp. 17-63. ISSN 0304-3975

Full text not available from this repository.
Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 20:49
Last Modified: 30 Jul 2013 13:24
URI: http://sro.sussex.ac.uk/id/eprint/28339
📧 Request an update