A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood. Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for Deadlock. In Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen, editors, Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Volume 1019 of Lecture Notes in Computer Science, pages 133-152, Springer, 1995.
@inproceedings{RoscoeGGHJS95,
title = {Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for Deadlock},
author = {A. W. Roscoe and Paul H. B. Gardiner and Michael Goldsmith and J. R. Hulance and D. M. Jackson and J. B. Scattergood},
year = {1995},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/RoscoeGGHJS95},
cites = {0},
citedby = {0},
pages = {133-152},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings},
editor = {Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen},
volume = {1019},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60630-0},
}