IOP and JLambda Papers

The InterOperability Platform Manual.
Ian A. Mason, and Carolyn Talcott. [ps] [pdf]

The JLambda Language.
Ian A. Mason, David Porter, and Carolyn Talcott. [ps] [pdf]

JLambda: A Language for Interactive Visualization of Formal Models.
Linda Briesemeister, Ian A. Mason, David Porter, and Carolyn L. Talcott. [ps] [pdf]

IOP: The InterOperability Platform and IMaude: An Interactive Extension of Maude.
Ian A. Mason and Carolyn L. Talcott. [ps.gz] [pdf]

The IOP Model of Interoperation as a Basis for Developing Interactive Maude Applications.
Ian A. Mason and Carolyn L. Talcott. [pdf]

An Interpreter for JLambda.
David Porter, 2004. UNE 4th year Honours thesis. [ps] [pdf]

The Glyphics Hierarchy.
Ben Funnell, 2004. UNE 4th year Honours thesis. [ps] [pdf]

Applications of Formal Reasoning Tools to Biological Cellular Signalling Networks.
Romulus Apolzan, 2005. UNE 4th year Honours thesis. [ps] [pdf]