1990
Action versus state based logics for transition systems
Publication
Publication
Presented at the
LITP Spring School on Theoretical Computer Science, La Roche Posay, France
Additional Metadata | |
---|---|
, , , | |
Springer | |
Lecture Notes in Computer Science | |
LITP Spring School on Theoretical Computer Science | |
de Nicola, R., & Vaandrager, F. (1990). Action versus state based logics for transition systems. In Semantics of Systems of Concurrent Processes (pp. 407–419). Springer. |