BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Steggles:L=_J=

Contributed to:

WRLA 19981998
ALP/HOA 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.