Travelled to:1 × United Kingdom
Collaborated with:P.Kosiuczenko ∅
Talks about:parameteris (1) protocol (1) algebra (1) specif (1) semant (1) rewrit (1) higher (1) altern (1) studi (1) order (1)
Person: L. J. Steggles
DBLP: Steggles:L=_J=
Contributed to:
1998
1997Wrote 2 papers:
- WRLA-1998-StegglesK #case study #logic #protocol #semantics
- A timed rewriting logic semantics for SDL: A case study of alternating bit protocol (LJS, PK), pp. 83–104.
- ALP-1997-Steggles #algebra #higher-order #specification
- Parameterised Higher-Order Algebraic Specifications (LJS), pp. 76–98.