The INFOLOG linear tense propositional logic of events and transactions
- 31 December 1986
- journal article
- Published by Elsevier in Information Systems
- Vol. 11 (1), 61-85
- https://doi.org/10.1016/0306-4379(86)90023-2
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Towards knowledge-based infolog specifications A case study of information engineeringDecision Support Systems, 1985
- An Axiomatic Semantics of Concurrent Programming LanguagesPublished by Springer Nature ,1985
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Verifying Concurrent Processes Using Temporal LogicLecture Notes in Computer Science, 1982
- Temporal aspects of logical procedure definitionInformation Systems, 1980
- A Formal System for Reasoning about Programs Accessing a Relational DatabaseACM Transactions on Programming Languages and Systems, 1980
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Behavior Modeling During Software DesignIEEE Transactions on Software Engineering, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978