John Wordsworth

Publication Activity (10 Years)

Years Active: 1989-2007
Publications (10 Years): 0

Publications

Peter Ashwin, Gábor Orosz, John Wordsworth, Stuart Townley
Dynamics on Networks of Cluster States for Globally Coupled Phase Oscillators. SIAM J. Appl. Dyn. Syst. 6 (4) (2007)
John Wordsworth
Getting the best from formal methods. Inf. Softw. Technol. 41 (14) (1999)
John Bainbridge, Robin W. Whitty, John Wordsworth
Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop (1990)
John Wordsworth
The CICS Application Programming Interface Definition. Z User Workshop (1990)
John Wordsworth
Practical Experience of Formal Specification: A Programming Interface for Communications. ESEC (1989)