Régis Cridlig. Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking. In PEPM. pages 214-225, 1995.
@inproceedings{Cridlig95,
title = {Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking},
author = {Régis Cridlig},
year = {1995},
tags = {model checking, meta-model, modeling language, language modeling, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/Cridlig95},
cites = {0},
citedby = {0},
pages = {214-225},
booktitle = {PEPM},
}