Verification of distributed systems with local-global predicates

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.5, 2011-09, pp. : 649-679

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

Detecting ENF Event Predicates in Distributed Systems

By Chiou H.K. Korfhage W.

Journal of Parallel and Distributed Computing, Vol. 44, Iss. 1, 1997-07 ,pp. : 1-13

Academic Press

Access to resources Recommend Favorite

Efficient Detection of Channel Predicates in Distributed Systems

By Garg V.K. Chase C.M. Kilgore R. Mitchell J.R.

Journal of Parallel and Distributed Computing, Vol. 45, Iss. 2, 1997-09 ,pp. : 134-147

Academic Press

Access to resources Recommend Favorite

An Approach to the Verification of Symmetric Parameterized Distributed Systems

By Konnov I. Zakharov V.

Programming and Computer Software, Vol. 31, Iss. 5, 2005-09 ,pp. : 225-236

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Drawing Power Law Graphs Using a Local/Global Decomposition

By Andersen Reid Chung Fan Lu Linyuan

Algorithmica, Vol. 47, Iss. 4, 2007-05 ,pp. : 397-397

Springer Publishing Company

Access to resources Recommend Favorite

An Artificial Bee Colony Algorithm for Detecting Distributed Predicates

International Journal of Distributed Systems and Technologies (IJDST), Vol. 9, Iss. 3, 2018-07 ,pp. : 53-64

IGI Global_journal

Access to resources Recommend Favorite