An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. De Nicola, R.; Fantechi, A.; Gnesi, S.; and Ristori, G. Computer Networks and ISDN Systems, 25(7):761–778, 1993.
Paper doi bibtex @article{DBLP:journals/cn/NicolaFGR93,
author = {Rocco {De Nicola} and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
title = {An Action-Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
journal = {Computer Networks and {ISDN} Systems},
volume = {25},
number = {7},
pages = {761--778},
year = {1993},
url = {https://doi.org/10.1016/0169-7552(93)90047-8},
doi = {10.1016/0169-7552(93)90047-8},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/NicolaFGR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}