Action versus State based Logics for Transition Systems. Nicola, R. D. and Vaandrager, F. W. In Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, volume 469, of Lecture Notes in Computer Science, pages 407–419, 1990. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/litp/NicolaV90,
author = {Rocco De Nicola and
Frits W. Vaandrager},
editor = {Ir{\`{e}}ne Guessarian},
title = {Action versus State based Logics for Transition Systems},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {407--419},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_17},
doi = {10.1007/3-540-53479-2\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/NicolaV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}