Opening book details…
Can I read Executing Temporal Logic Programs on EtoBox?
Executing Temporal Logic Programs by Moszkowski, Ben C. is a computer science book available to read on EtoBox.
What is Executing Temporal Logic Programs about?
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic, Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems. Since every Tempura statement is also a temporal formula, the entire temporal logi
Who reads Executing Temporal Logic Programs?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Moszkowski, Ben C.
- Publisher
- Cambridge [Cambridgeshire] ; New York: Cambridge University Press
- Published
- 1986
- Language
- EN
- ISBN
- 9780521310994
- Category
- computer science
- Subjects
- Computer Science, Language Learning, Engineering
- Updated
- 2026-03-25
More by Moszkowski, Ben C.
Browse all works by Moszkowski, Ben C.
Similar books
- Advances in Temporal Logic (Applied Logic Series (16)) — Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (2000)
- The Temporal Logic of Reactive and Concurrent Systems. [Vol 1], Specification — Zohar Manna, Amir Pnueli (auth.) (1992)
- Temporal and Modal Logic — E. Allen EMERSON (1990)
- Inductive Logic Programming: From Machine Learning to Software Engineering (Logic Programming) — Francesco Bergadano and Daniele Gunetti (1995)
- Chronicles: Formalization of a Temporal Model — Thomas Guyet; Philippe Besnard (2023)
- Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science (651)) — Ron Koymans (1992)