skip to content
Completeness and incompleteness of trace-based network proof systems Preview this item
ClosePreview this item
Checking...

Completeness and incompleteness of trace-based network proof systems

Author: Jennifer Widom; David Gries; Fred B Schneider
Publisher: Ithaca, N.Y. : Cornell University, Dept. of Computer Science, 1986.
Series: Cornell University.; Department of Computer Science.; Technical report.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
Most trace-based proof systems for networks of processes are known to be incomplete. Extensions to achieve completeness are generally complicated and cumbersome. In this paper, a simple trace logic is defined and two examples are presented to show its inherent incompleteness. Surprisingly, both examples consist of only one process, indicating that network composition is not a cause of incompleteness. Axioms  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Jennifer Widom; David Gries; Fred B Schneider
OCLC Number: 15994392
Description: 12 pages : illustrations ; 28 cm.
Series Title: Cornell University.; Department of Computer Science.; Technical report.
Responsibility: Jennifer Widom, David Gries, Fred B. Schneider.

Abstract:

Most trace-based proof systems for networks of processes are known to be incomplete. Extensions to achieve completeness are generally complicated and cumbersome. In this paper, a simple trace logic is defined and two examples are presented to show its inherent incompleteness. Surprisingly, both examples consist of only one process, indicating that network composition is not a cause of incompleteness. Axioms necessary and sufficient for the relative completeness of a trace logic are then presented.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/15994392> # Completeness and incompleteness of trace-based network proof systems
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "15994392" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/11721837#Place/ithaca_n_y> ; # Ithaca, N.Y.
    schema:about <http://id.worldcat.org/fast/872297> ; # Computer networks
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/223360832> ; # Fred B. Schneider
    schema:contributor <http://viaf.org/viaf/84025979> ; # David Gries
    schema:creator <http://viaf.org/viaf/7561295> ; # Jennifer Widom
    schema:datePublished "1986" ;
    schema:description "Most trace-based proof systems for networks of processes are known to be incomplete. Extensions to achieve completeness are generally complicated and cumbersome. In this paper, a simple trace logic is defined and two examples are presented to show its inherent incompleteness. Surprisingly, both examples consist of only one process, indicating that network composition is not a cause of incompleteness. Axioms necessary and sufficient for the relative completeness of a trace logic are then presented."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/11721837> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11721837#Series/technical_report_cornell_university_department_of_computer_science> ; # Technical report. Cornell University. Department of Computer Science. ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11721837#Series/technical_report> ; # Technical report. ;
    schema:name "Completeness and incompleteness of trace-based network proof systems"@en ;
    schema:productID "15994392" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15994392#PublicationEvent/ithaca_n_y_cornell_university_dept_of_computer_science_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/11721837#Agent/cornell_university_dept_of_computer_science> ; # Cornell University, Dept. of Computer Science
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15994392> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/11721837#Agent/cornell_university_dept_of_computer_science> # Cornell University, Dept. of Computer Science
    a bgn:Agent ;
    schema:name "Cornell University, Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/11721837#Organization/cornell_university_department_of_computer_science> # Cornell University. Department of Computer Science.
    a schema:Organization ;
    schema:name "Cornell University. Department of Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/11721837#Place/ithaca_n_y> # Ithaca, N.Y.
    a schema:Place ;
    schema:name "Ithaca, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/11721837#Series/technical_report> # Technical report. ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/11721837#Organization/cornell_university_department_of_computer_science> ; # Cornell University. Department of Computer Science.
    schema:hasPart <http://www.worldcat.org/oclc/15994392> ; # Completeness and incompleteness of trace-based network proof systems
    schema:name "Technical report. ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/11721837#Series/technical_report_cornell_university_department_of_computer_science> # Technical report. Cornell University. Department of Computer Science. ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15994392> ; # Completeness and incompleteness of trace-based network proof systems
    schema:name "Technical report. Cornell University. Department of Computer Science. ;" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/872297> # Computer networks
    a schema:Intangible ;
    schema:name "Computer networks"@en ;
    .

<http://viaf.org/viaf/223360832> # Fred B. Schneider
    a schema:Person ;
    schema:familyName "Schneider" ;
    schema:givenName "Fred B." ;
    schema:name "Fred B. Schneider" ;
    .

<http://viaf.org/viaf/7561295> # Jennifer Widom
    a schema:Person ;
    schema:familyName "Widom" ;
    schema:givenName "Jennifer" ;
    schema:name "Jennifer Widom" ;
    .

<http://viaf.org/viaf/84025979> # David Gries
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Gries" ;
    schema:givenName "David" ;
    schema:name "David Gries" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.