Index of /~iop/Data/Papers

Name	Last modified	Size

Parent Directory		-
04wrla.pdf	20-Oct-2006 11:09	289K
04wrla.ps.gz	20-Oct-2006 11:09	316K
bfunnell-honours-thesis.pdf	20-Oct-2006 11:09	209K
bfunnell-honours-thesis.ps	20-Oct-2006 11:09	427K
dporter-honours-thesis.dvi	20-Oct-2006 11:09	177K
dporter-honours-thesis.pdf	20-Oct-2006 11:09	308K
dporter-honours-thesis.ps	20-Oct-2006 11:09	479K
draft.pdf	20-Oct-2006 11:09	245K
draft.ps	20-Oct-2006 11:09	7.5M
ii.pdf	20-Oct-2006 11:09	336K
ii.ps	20-Oct-2006 11:09	6.2M
iop.pdf	20-Oct-2006 11:09	590K
jlambda.pdf	20-Oct-2006 11:09	176K
jlambda.ps	20-Oct-2006 11:09	378K
jlambda/	05-Dec-2005 09:35	-
manual.pdf	20-Oct-2006 11:09	180K
manual.ps	20-Oct-2006 11:09	2.1M
manual/	24-Jun-2005 00:34	-
papers.html	20-Oct-2006 11:09	2.7K
rapolzan-honours-thesis.pdf	20-Oct-2006 11:09	312K
rapolzan-honours-thesis.ps	20-Oct-2006 11:09	670K


ii.{ps, pdf} is:

Interaction and Interoperability.
by Ian A. Mason and Carolyn L. Talcott. 

manual.{ps, pdf} is:

The InterOperability Platform Manual IOP version 0.14
by Ian A. Mason, and Carolyn Talcott.

manual/ is the html version generated by latex2html.

04wrla.{ps, pdf}  is:

IOP: The InterOperability Platform and IMaude: An Interactive Extension of Maude.
by Ian A. Mason and Carolyn L. Talcott. 
From Fifth International Workshop on Rewriting Logic and Its Applications (WRLA'2004). 
Elsevier. 2004.

dporter-honours-thesis.{ps, pdf, dvi}  is:

An Interpreter for JLambda.
by David Porter, 2004.

jlambda.{ps, pdf} is:

The JLambda Language.
by Ian A. Mason, David Porter, and Carolyn Talcott.
Research report 05-232, January 2005.
School of Mathematics, Statistics, and Computer Science.
University of New England.

jlambda/  is the html version generated by latex2html.

bfunnell-honours-thesis.{ps, pdf}  is:

The Glyphics Hierarchy.
by Ben Funnell, 2004.

rapolzan-honours-thesis.{ps,pdf} is:

Rapid Prototyping Applications 
           of 
Formal Reasoning Tools 
           to
Biological Cellular Signalling Networks.
by Romulus Apolzan, 2005