dblp.uni-trier.dewww.uni-trier.de

Régis Cridlig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
4EERégis Cridlig: Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. LOMAPS 1996: 244-259
3EERé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

Coauthor Index

1Eric Goubault [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)