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 × USA
Collaborated with:
∅ G.Denker
Talks about:
protocol (2) parallel (2) rewrit (2) term (2) cryptograph (1) construct (1) overview (1) multiset (1) communic (1) program (1)

Person: Jonathan K. Millen

DBLP DBLP: Millen:Jonathan_K=

Contributed to:

WRLA 20022002
WRLA 20002000
SOSP 19751976
STOC 19741974

Wrote 4 papers:

WRLA-2002-DenkerM #communication #modelling #multi #protocol #term rewriting #using
Modeling Group Communication Protocols Using Multiset Term Rewriting (GD, JKM), pp. 20–39.
WRLA-2000-Millen #analysis #encryption #overview #protocol #term rewriting
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk (JKM), pp. 229–234.
SOSP-J-1975-Millen76 #kernel #security #validation
Security Kernel Validation in Practice (JKM), pp. 243–250.
STOC-1974-Millen #parallel
Construction with Parallel Derivatives of the Closure of a Parallel Program Schema (JKM), pp. 242–247.
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.