Issue 4

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 4
J.UCS Special Issue on BCTCS	P. E. Dunne, A. Gibbons	405
Formal Specification from an Observation-Oriented Perspective	M. Beynon, J. Rungrattanaubol, J. Sinclair	407
Using Genetic Algorithms to Solve the Motion Planning Problem	C. Eldershaw, S. Cameron	422
Functional Reading of Logic Programs	S. Seres, M. Spivey	433
Region-Based Discrete Geometry	M. B. Smyth	447
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller	L. J. Steggles	460
Ensuring Termination in ESFP	A. Telford, D. Turner	474