William B. Gardner

	2008
10		John Carter, William B. Gardner: Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. ISSE 4(1): 45-70 (2008)
	2007
9		John Carter, William B. Gardner: Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. SEW 2007: 41-52
	2006
8		John Carter, William B. Gardner: A Formal CSP Framework for Message-Passing HPC Programming. CCECE 2006: 1466-1470
	2005
7		William B. Gardner: CSP++: How Faithful to CSPm? CPA 2005: 129-146
6		Stephen Doxsee, William B. Gardner: Synthesis of C++ Software from Verifiable CSPm Specifications. ECBS 2005: 193-201
5		S. W. Song, J. D. Zheng, William B. Gardner: Prototyping a Residential Gateway Using Xilinx ISE. IEEE International Workshop on Rapid System Prototyping 2005: 267-269
4		John Carter, Ming Xu, William B. Gardner: Rapid Prototyping of Embedded Software Using Selective Formalism. IEEE International Workshop on Rapid System Prototyping 2005: 99-104
3		Stephen Doxsee, William B. Gardner: Synthesis of C++ software for automated teller from CSPm specifications. SAC 2005: 1565-1566
2		William B. Gardner: Converging CSP specifications and C++ programming via selective formalism. ACM Trans. Embedded Comput. Syst. 4(2): 302-330 (2005)
	2003
1		William B. Gardner: Bridging CSP and C++ with Selective Formalism and Executable Specifications. MEMOCODE 2003: 237-

Coauthor Index

1	John Carter	[4] [8] [9] [10]
2	Stephen Doxsee	[3] [6]
3	S. W. Song	[5]
4	Ming Xu	[4]
5	J. D. Zheng	[5]

Colors in the list of coauthors