A linear temporal logic approach to objects with transactions
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 170-184
- https://doi.org/10.1007/bfb0000470
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Dealing with Multiple Granularity of Time in Temporal Logic ProgrammingJournal of Symbolic Computation, 1996
- TROLLACM Transactions on Information Systems, 1996
- Action refinement and property inheritance in systems of sequential agentsPublished by Springer Nature ,1996
- Semantic Refinement of Concurrent Object Systems Based on SerializabilityPublished by Springer Nature ,1996
- Object Specification LogicJournal of Logic and Computation, 1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: IInternational Journal of Foundations of Computer Science, 1992
- Logics of ProgramsPublished by Elsevier ,1990
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983