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 × Denmark
1 × Germany
Collaborated with:
N.Henderson ∅
Talks about:
asynchron (1) communic (1) simpson (1) revisit (1) classif (1) mechan (1) formal (1) verif (1) logic (1) time (1)

Person: Stephen Paynter

DBLP DBLP: Paynter:Stephen

Contributed to:

FME 20022002
FME 20012001

Wrote 2 papers:

FME-2002-HendersonP #classification #communication #verification
The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
FME-2001-Paynter #logic #realtime #revisited
Real-Time Logic Revisited (SP), pp. 300–317.
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.