Automatically assigned DDC number: 00436
Manually assigned DDC number: 005131
Number of references: 8
Title: Observation of Software for Distributed Systems with RCL
Author:
Author:
Subject: Er I. Tomlinson,Vijay K. Garg Observation of Software for Distributed Systems with RCL
Description: . Program observation involves formulating a query about the behavior of a program and then observing the program as it executes in order to determine the result of the query. Observation is used in software development to track down bugs and clarify understanding of a program's behavior, and in software testing to ensure that a program behaves as expected for a given input set. RCL is a recursive logic built upon conjunctive global predicates. Computational structures of common paradigms such as butterfly synchronization and distributed consensus can be expressed easily in RCL. A nonintrusive decentralized algorithm for detecting RCL predicates is developed and proven correct. 1 Introduction Posets have a recursive structure that has not been exploited much in research on observation predicates. This paper presents a poset predicate logic which exploits this recursive structure. The result, RCL, is a logic which is simple yet powerful. Recursive logics are intuitive because there are...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1996-01-21
Pubyear: 1995
Format: ps
Identifier: http://citeseer.ist.psu.edu/167359.html
Source: http://maple.ece.utexas.edu/~vijay/dist/RCL.ps.Z
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/160542.html" Type="article" CiteSeer_Book="Proceedings of the ACMONR Workshop on Parallel and Distributed Debugging published in ACM SIGPLAN Notices" CiteSeer_Volume="26" Title="Consistent Detection of Global Predicates,">
<identifier Org="ISBN:0387574174" Paper_ID="/160542.html" Extracted="0387574174" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521876346" Paper_ID="/160542.html" Extracted="0521876346" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780329635" Paper_ID="/160542.html" Extracted="0780329635" />
<identifier Org="ISBN:0818632003" Paper_ID="/160542.html" Extracted="0818632003" />
<identifier Org="ISBN:3540002251" Paper_ID="/160542.html" Extracted="3540002251" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540006222" Paper_ID="/160542.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540206329" Paper_ID="/160542.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540207457" Paper_ID="/160542.html" Extracted="3540207457" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540208941" Paper_ID="/160542.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540219463" Paper_ID="/160542.html" Extracted="3540219463" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540309993" Paper_ID="/160542.html" Extracted="3540309993" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540426051" Paper_ID="/160542.html" Extracted="3540426051" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540562877" Paper_ID="/160542.html" Extracted="3540562877" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540584498" Paper_ID="/160542.html" Extracted="3540584498" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540677704" Paper_ID="/160542.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354072981X" Paper_ID="/160542.html" Extracted="354072981X" />
<identifier Org="ISBN:3540774432" Paper_ID="/160542.html" Extracted="3540774432" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/36395.html" Type="inproceedings" CiteSeer_Book="International Conference on Parallel Processing" CiteSeer_Volume="" Title="On the Fly Testing of Regular Patterns in Distributed Computations,">
<identifier Org="ISBN:0471036005" Paper_ID="/36395.html" Extracted="0471036005" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
<identifier Org="ISBN:0780320182" Paper_ID="/36395.html" Extracted="0780320182" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:0780329635" Paper_ID="/36395.html" Extracted="0780329635" />
<identifier Org="ISBN:0780330838" Paper_ID="/36395.html" Extracted="0780330838" />
<identifier Org="ISBN:0792396685" Paper_ID="/36395.html" Extracted="0792396685" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.125" />
<identifier Org="ISBN:0818664274" Paper_ID="/36395.html" Extracted="0818664274" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:0818671955" Paper_ID="/36395.html" Extracted="0818671955" />
<identifier Org="ISBN:1560728655" Paper_ID="/36395.html" Extracted="1560728655" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.125" />
<identifier Org="ISBN:1581135297" Paper_ID="/36395.html" Extracted="1581135297" />
<identifier Org="ISBN:3540006222" Paper_ID="/36395.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540401237" Paper_ID="/36395.html" Extracted="3540401237" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540602747" Paper_ID="/36395.html" Extracted="3540602747" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
</rec>
<rec ID="/18867.html" Type="incollection" CiteSeer_Book="Zhonghua Yang and T Anthony Marsland Eds Global States and Time in Distributed Systems IEEE Computer Society Press" CiteSeer_Volume="" Title="Detection of Weak Unstable Predicates in Distributed Programs,">
<identifier Org="ISBN:0521876346" Paper_ID="/18867.html" Extracted="0521876346" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0780330838" Paper_ID="/18867.html" Extracted="0780330838" />
<identifier Org="ISBN:0792396685" Paper_ID="/18867.html" Extracted="0792396685" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818642211" Paper_ID="/18867.html" Extracted="0818642211" />
<identifier Org="ISBN:0818664274" Paper_ID="/18867.html" Extracted="0818664274" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818673990" Paper_ID="/18867.html" Extracted="0818673990" />
<identifier Org="ISBN:0818686030" Paper_ID="/18867.html" Extracted="0818686030" />
<identifier Org="ISBN:3540006222" Paper_ID="/18867.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540206329" Paper_ID="/18867.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540207457" Paper_ID="/18867.html" Extracted="3540207457" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540208941" Paper_ID="/18867.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540602747" Paper_ID="/18867.html" Extracted="3540602747" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540677704" Paper_ID="/18867.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354072981X" Paper_ID="/18867.html" Extracted="354072981X" />
<identifier Org="ISBN:3540731954" Paper_ID="/18867.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540774432" Paper_ID="/18867.html" Extracted="3540774432" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/147576.html" Type="article" CiteSeer_Book="IEEE Transactions on Parallel and Distributed Systems" CiteSeer_Volume="7" Title="Detection of Strong Unstable Predicates in Distributed Programs,">
<identifier Org="ISBN:0387955445" Paper_ID="/147576.html" Extracted="0387955445" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0471036005" Paper_ID="/147576.html" Extracted="0471036005" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521876346" Paper_ID="/147576.html" Extracted="0521876346" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:076950602X" Paper_ID="/147576.html" Extracted="076950602X" />
<identifier Org="ISBN:0818664274" Paper_ID="/147576.html" Extracted="0818664274" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818681780" Paper_ID="/147576.html" Extracted="0818681780" />
<identifier Org="ISBN:0849300673" Paper_ID="/147576.html" Extracted="0849300673" DDC="629.04" Normalized_DDC="62904" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586035029" Paper_ID="/147576.html" Extracted="1586035029" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540006222" Paper_ID="/147576.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540206329" Paper_ID="/147576.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540207457" Paper_ID="/147576.html" Extracted="3540207457" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540219463" Paper_ID="/147576.html" Extracted="3540219463" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540310673" Paper_ID="/147576.html" Extracted="3540310673" />
<identifier Org="ISBN:3540677704" Paper_ID="/147576.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354072981X" Paper_ID="/147576.html" Extracted="354072981X" />
<identifier Org="ISBN:3540731954" Paper_ID="/147576.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540740333" Paper_ID="/147576.html" Extracted="3540740333" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540774432" Paper_ID="/147576.html" Extracted="3540774432" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/70961.html" Type="inproceedings" CiteSeer_Book="Workshop on Parallel and Distributed Debugging" CiteSeer_Volume="" Title="Detecting Atomic Sequences of Predicates in Distributed Computations,">
<identifier Org="ISBN:0262024128" Paper_ID="/70961.html" Extracted="0262024128" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0412757400" Paper_ID="/70961.html" Extracted="0412757400" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0471036005" Paper_ID="/70961.html" Extracted="0471036005" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0780320182" Paper_ID="/70961.html" Extracted="0780320182" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0792396685" Paper_ID="/70961.html" Extracted="0792396685" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818644109" Paper_ID="/70961.html" Extracted="0818644109" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818664274" Paper_ID="/70961.html" Extracted="0818664274" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818671955" Paper_ID="/70961.html" Extracted="0818671955" />
<identifier Org="ISBN:0821802534" Paper_ID="/70961.html" Extracted="0821802534" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1560728655" Paper_ID="/70961.html" Extracted="1560728655" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540006222" Paper_ID="/70961.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354057932X" Paper_ID="/70961.html" Extracted="354057932X" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540602747" Paper_ID="/70961.html" Extracted="3540602747" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/158563.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 8th International Conference on Distributed Computing Systems ICDCS" CiteSeer_Volume="" Title="Breakpoints and Halting in Distributed Programs,">
<identifier Org="ISBN:007057572X" Paper_ID="/158563.html" Extracted="007057572X" DDC="005.4/3" Normalized_DDC="00543" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0387574174" Paper_ID="/158563.html" Extracted="0387574174" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0521876346" Paper_ID="/158563.html" Extracted="0521876346" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818608420" Paper_ID="/158563.html" Extracted="0818608420" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:081860865X" Paper_ID="/158563.html" Extracted="081860865X" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:081862048X" Paper_ID="/158563.html" Extracted="081862048X" />
<identifier Org="ISBN:0818632003" Paper_ID="/158563.html" Extracted="0818632003" />
<identifier Org="ISBN:0818678763" Paper_ID="/158563.html" Extracted="0818678763" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540006222" Paper_ID="/158563.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540401237" Paper_ID="/158563.html" Extracted="3540401237" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540552367" Paper_ID="/158563.html" Extracted="3540552367" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540562877" Paper_ID="/158563.html" Extracted="3540562877" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540579818" Paper_ID="/158563.html" Extracted="3540579818" DDC="004/.3" Normalized_DDC="0043" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540636978" Paper_ID="/158563.html" Extracted="3540636978" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/35789.html" Type="article" CiteSeer_Book="Distributed Computing" CiteSeer_Volume="7" Title="Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail,">
<identifier Org="ISBN:0780320182" Paper_ID="/35789.html" Extracted="0780320182" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0818664274" Paper_ID="/35789.html" Extracted="0818664274" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0818678143" Paper_ID="/35789.html" Extracted="0818678143" />
<identifier Org="ISBN:0818681543" Paper_ID="/35789.html" Extracted="0818681543" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1558605851" Paper_ID="/35789.html" Extracted="1558605851" />
<identifier Org="ISBN:3540006222" Paper_ID="/35789.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540208941" Paper_ID="/35789.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540233067" Paper_ID="/35789.html" Extracted="3540233067" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540234284" Paper_ID="/35789.html" Extracted="3540234284" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424954" Paper_ID="/35789.html" Extracted="3540424954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540600299" Paper_ID="/35789.html" Extracted="3540600299" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540600426" Paper_ID="/35789.html" Extracted="3540600426" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540617795" Paper_ID="/35789.html" Extracted="3540617795" DDC="005.4/3" Normalized_DDC="00543" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540636978" Paper_ID="/35789.html" Extracted="3540636978" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354065075X" Paper_ID="/35789.html" Extracted="354065075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540665315" Paper_ID="/35789.html" Extracted="3540665315" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354067196X" Paper_ID="/35789.html" Extracted="354067196X" DDC="005/.36" Normalized_DDC="00536" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540679561" Paper_ID="/35789.html" Extracted="3540679561" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
</rec>
<rec ID="/144184.html" Type="inproceedings" CiteSeer_Book="Foundations of Software Technology and Theoretical Computer Science" CiteSeer_Volume="" Title="Observation of Software for Distributed Systems with {RCL},">
<identifier Org="ISBN:0471036005" Paper_ID="/144184.html" Extracted="0471036005" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:0792396685" Paper_ID="/144184.html" Extracted="0792396685" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540006222" Paper_ID="/144184.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Observation of Software for Distributed Systems with RCL">
<identifier Org="ISBN:0471036005" Paper_ID="SELF" Extracted="0471036005" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:0792396685" Paper_ID="SELF" Extracted="0792396685" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540006222" Paper_ID="SELF" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.3333333333333333" />
</rec>
</references_metadata>