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 × Italy
1 × USA
Collaborated with:
∅ E.Goubault
Talks about:
languag (2) analysi (2) semant (2) abstract (1) concurr (1) memori (1) share (1) model (1) linda (1) check (1)

Person: Régis Cridlig

DBLP DBLP: Cridlig:R=eacute=gis

Contributed to:

PEPM 19951995
WSA 19931993

Wrote 2 papers:

PEPM-1995-Cridlig #analysis #concurrent #model checking #semantics #using
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking (RC), pp. 214–225.
WSA-1993-CridligG #analysis #semantics
Semantics and Analysis of Linda-Based Languages (RC, EG), pp. 72–86.
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.