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.
Action versus State based Logics for Transition Systems [link]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}
}
Downloads: 0