This volume gives the proceedings of STACS 92. Topics include parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, complexity, distributed systems, algorithms, cryptography, VLSI, words and rewriting, and systems.Suitability of the Prepositional Temporal Logic to Express Properties of Real- Time Systems Eric Nassor1a#39;2 Guy ... These real-time temporal logics use a different model from the Temporal Logic: the timed state sequences [7, 13, 11, 1, 8].
|Author||:||Alain Finkel, Matthias Jantzen|
|Publisher||:||Springer Science & Business Media - 1992-02-04|