Preservation of expressive completeness in temporal models

• 1 January 1987
• journal article
• Published by Elsevier in Information and Computation
• Vol. 72  (1) , 66-83
• https://doi.org/10.1016/0890-5401(87)90051-4

Abstract

Keywords

• TEMPORAL MODEL
• EXPRESSIVE COMPLETENESS