S. J. Creese

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000

4 S. J. Creese, A. W. Roscoe: Data Independent Induction over Structured Networks. PDPTA 2000

1999

3 S. J. Creese, A. W. Roscoe: Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE 1999: 437-452

2 S. J. Creese, Joy N. Reed: Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops 1999: 1243-1257

1 S. J. Creese, A. W. Roscoe: Formal Verification of Arbitrary Network Topologies. PDPTA 1999: 1033-1039

2000
4		S. J. Creese, A. W. Roscoe: Data Independent Induction over Structured Networks. PDPTA 2000
1999
3		S. J. Creese, A. W. Roscoe: Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE 1999: 437-452
2		S. J. Creese, Joy N. Reed: Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops 1999: 1243-1257
1		S. J. Creese, A. W. Roscoe: Formal Verification of Arbitrary Network Topologies. PDPTA 1999: 1033-1039

Coauthor Index

1 Joy N. Reed [2]

2 A. W. Roscoe (A. William Roscoe, Bill Roscoe) [1] [3] [4]

1	Joy N. Reed	[2]
2	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[1] [3] [4]