Stabilization-Preserving Atomicity Refinement

ISSN： 0743-7315

Source： Journal of Parallel and Distributed Computing, Vol.62, Iss.5, 2002-05, pp. : 766-791

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

Refinement preserving approximations for the design and verification of heterogeneous systems

By Passerone Roberto Burch Jerry Sangiovanni-Vincentelli Alberto

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 1-33

Springer Publishing Company

Access to resources Recommend Favorite

A criterion for atomicity revisited

By Hesselink Wim

Acta Informatica, Vol. 44, Iss. 2, 2007-05 ,pp. : 123-151

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid atomicity for nested transactions

By Fekete A. Lynch N. Weihl W.E.

Theoretical Computer Science, Vol. 149, Iss. 1, 1995-09 ,pp. : 151-178

Elsevier

Access to resources Recommend Favorite

Atomicity and Semantic Normalization

International Journal of Information System Modeling and Design (IJISMD), Vol. 1, Iss. 2, 2010-04 ,pp. : 23-39

IGI Global_journal

Access to resources Recommend Favorite

Refinement of time

By Broy M.

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 3-26

Elsevier

Access to resources Recommend Favorite