Portal de Periódicos da CAPES

A temporal logic for real-time partial ordering with named transactions

1997; Elsevier BV; Volume: 181; Issue: 1 Linguagem: Inglês

10.1016/s0304-3975(96)00270-8

1879-2294

Wang Farn,

Logic, programming, and type systems

We extend Lamport's partial-ordering models (Lamport, 1978) for real-time computing and invent to use the concept of named transactions to reference groups of related events. We then propose transaction partial ordering logic (TPOL ) as a new specification language with special syntax and high-level semantics tailored to describe the interaction among transactions in a distributed real-time system. Finally, we examine TPOL satisfiability problems with different restrictions.