Thumbnail
Access Restriction
Subscribed

Author Kshemkalyani, A.D.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1997
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Distributed computing ♦ Power system modeling ♦ Logic ♦ Electrical equipment industry ♦ Industrial control ♦ Industrial relations ♦ Process control ♦ Debugging ♦ Navigation ♦ Service robots
Abstract Recently, a set of causality relations between distributed nonatomic events was proposed to provide a fine level of granularity in the specification of synchronization conditions between the events. This set of causality relations is complete in first-order predicate logic. The author examines a set of axioms on the proposed causality relations. The axioms provide a mechanism for reasoning with the set of relations and can be used to derive all possible implied relations from any valid predicate on the relations.
Description Author affiliation: Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA (Kshemkalyani, A.D.)
ISBN 0818681535
ISSN 10710485
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1997-10-31
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 658.38 kB
Page Count 7
Starting Page 276
Ending Page 282


Source: IEEE Xplore Digital Library