The serializability problem for a temporal logic of transaction queries

Walter Hussak. The serializability problem for a temporal logic of transaction queries. Journal of Applied Non-Classical Logics, 18(1):67-78, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.