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

Author： Farn W.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.181, Iss.1, 1997-07, pp. : 195-225

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Efficient Processing of Client Transactions in Real-Time

By Kanitkar Vinay   Delis Alex  

Distributed and Parallel Databases, Vol. 17, Iss. 1, 2005-01 ,pp. : 39-74

Springer Publishing Company

Access to resources Recommend Favorite

Specifying Real-Time Systems in Rewriting Logic

By Olveczky P.C.   Meseguer J.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-26

Elsevier

Access to resources Recommend Favorite

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

Scheduling Value-Based Nested Transactions in Distributed Real-Time Database Systems

By Chen Hong-Ren   Chin Y. H.  

Real-Time Systems, Vol. 27, Iss. 3, 2004-09 ,pp. : 237-269

Springer Publishing Company

Access to resources Recommend Favorite

Algorithm to Process Read-only Transactions in Real-time Environments

By Lee V.C.S.   Lam K-W.  

Journal of Systems Integration, Vol. 10, Iss. 4, 2001-09 ,pp. : 355-373

Springer Publishing Company

Access to resources Recommend Favorite