Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 11.

Article

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Boiten, E.A. and Derrick, J. (2002) Unifying concurrent and relational refinement. Electronic notes in theoretical computing, 70 (3). pp. 94-131. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Book section

Nuka, Gift and Woodcock, Jim (2006) Mechanising a Unifying Theory. In: Unifying Theories of Programming. Lecture Notes in Computer Science, 4010 . Springer, Berlin, pp. 217-35. ISBN 978-3-540-34750-7. (The full text of this publication is not available from this repository)

Monograph

Cavalcanti, A.L.C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent (Full text available)
[img]
Preview

Conference or workshop item

Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X . (The full text of this publication is not available from this repository)

Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: MPC2004: The 7th International Conference on Mathematics of Program Construction, Jul 12-14, 2004, Stirling, Scotland. (The full text of this publication is not available from this repository)

Woodcock, Jim and Cavalcanti, A.L.C. (2004) A tutorial introduction to unifying theories of programming. In: Integrated Formal Methods In Integrated Formal Methods. Lecture Notes in Computer Science series, 2999. Springer-Verlag, Canterbury pp. 40-66. ISBN 3-540-21377-5 . (Full text available)
[img]
Preview

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier , Campina Grande, Brazil pp. 209-225. (The full text of this publication is not available from this repository)

Woodcock, Jim (2004) Using Circus for critical industrial applications. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier Science , Campina Grande, Brazil pp. 3-22. (The full text of this publication is not available from this repository)

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, K. and Gnesi, S. and Mandrioli, D., eds. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. (The full text of this publication is not available from this repository)

UNSPECIFIED (2003) ICFEM2003: 5th International Conference on Formal Engineering Methods. In: Dong, Jin Song and Woodcock, Jim, eds. ICFEM. Lecture Notes in Computer Science, 2885. , Singapore ISBN 3-540-20461-X. (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 18 16:55:26 2014 BST.