![]() | ![]() |
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] |