Semantics and Analysis of Linda-Based Languages. - Régis Cridlig; Eric Goubault (WSA, 1993)

Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. - Régis Cridlig (PEPM, 1995)

Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. - Régis Cridlig (LOMAPS, 1996)

Semantic analysis of concurrent ML by abstract model-checking. - Régis Cridlig (INFINITY, 1996)