Detection of global state predicates | Zendy

Keith Marzullo | Zendy; Gil Neiger | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Detection of global state predicates

Author(s) -

Keith Marzullo,

Gil Neiger

Publication year - 1992

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-55236-7

DOI - 10.1007/bfb0022452

Subject(s) - computer science , state (computer science) , programming language , natural language processing , artificial intelligence , theoretical computer science

This paper examines algorithms for detecting,when,a property,4> holds during the execution of a distributed,system.,The properties we consider are expressed over the state of the system and are not assumed to have properties that facilitate detection, such as stability. Detection is done by a monitoring process within the system, which cannot perceive an execution of a distributed,system,as a total order: because of this, we consider two interpretations for "detecting _": 1. There,is an execution consistent with the observed,behavior,such

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research