L. J. Steggles

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

L. J. Steggles
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. ICATPN (2001)
Karl Meinke, L. J. Steggles
Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 38 (1) (2001)
L. J. Steggles
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. J. Univers. Comput. Sci. 6 (4) (2000)
L. J. Steggles, Piotr Kosiuczenko
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. Autom. Softw. Eng. 7 (1) (2000)
L. J. Steggles, Piotr Kosiuczenko
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. WRLA (1998)
L. J. Steggles
Parameterised Higher-Order Algebraic Specifications. ALP/HOA (1997)
L. J. Steggles
Higher-Order Algebra with Transfinite Types. HOA (1995)
Karl Meinke, L. J. Steggles
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA (1993)