Books and Journal Editing
W.M.P. van der Aalst and J. Billington, (Guest Eds), Transactions on Petri Nets and Other Models of Concurrency I, Lecture Notes in Computer Science, Vol. 5100, Springer, November 2008 (ISSN 1867-7193).
J. Billington, Z. Duan and M. Koutny (eds), Proceedings of the 8th International Conference on Application of Concurrency to System Design, Xi’an, China, 23-27 June 2008, IEEE Press.
C. Lakos, R. Esser, L. Kristensen and J. Billington (eds),
Conferences in Research and Practice in Information Technology,
Vol.12, Formal Methods in Software Engineering and Defence Systems 2002,
Australian Computer Society Inc., Adelaide, 24-25 June 2002.