Items where Author is "Evans, N"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 4.
Article
Evans, N, Brown, DP and Corbett, GG (2002) The Semantics of Gender in Mayali: Partially Parallel Systems and Formal Implementation Language, 77 . 111 - 155.
Conference or Workshop Item
Turner, E, Treharne, H, Schneider, S and Evans, N (2008) Automatic generation of CSP||B skeletons from xUML models In: 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), 2008-09-01 - 2008-09-03, Sabanci Univ, Istanbul, TURKEY.
Schneider, S, Treharne, H and Evans, N (2005) Chunks: Component verification in CSP||B In: 5th International Conference on Integrated Formal Methods, 2005-11-29 - 2005-12-02, Eindhoven, Netherlands.
Evans, N and Schneider, S (2000) Analysing Time Dependent Security Properties in CSP Using PVS. In: European Symposium on Research in Computer Security, 2000-10-04 - 2000-10-06, Toulouse, France.