@inproceedings{316dc23743794e398224afb62986f731,
title = "Expressive completeness of temporal logic of action",
abstract = "The paper compares the expressive power of monadic second order logic of order, a fundamental formalism in mathematical logic and theory of computation, with that of a fragment of Temporal Logic of Actions introduced by Lamport for specifying the behavior of concurrent systems.",
author = "Alexander Rabinovich",
year = "1998",
doi = "10.1007/bfb0055772",
language = "אנגלית",
isbn = "3540648275",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "229--238",
editor = "Lubos Brim and Jozef Gruska and Jiri Zlatuska",
booktitle = "Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings",
note = "23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998 ; Conference date: 24-08-1998 Through 28-08-1998",
}