| |
| 1996 | ||
|---|---|---|
| 4 | Régis Cridlig: Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. LOMAPS 1996: 244-259 | |
| 3 | EE | Régis Cridlig: Semantic analysis of concurrent ML by abstract model-checking. Electr. Notes Theor. Comput. Sci. 5: (1996) |
| 1995 | ||
| 2 | Régis Cridlig: Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. PEPM 1995: 214-225 | |
| 1993 | ||
| 1 | Régis Cridlig, Eric Goubault: Semantics and Analysis of Linda-Based Languages. WSA 1993: 72-86 | |
| 1 | Eric Goubault | [1] |