skip to content
Trace-based network proof systems : expressiveness and completeness Preview this item
ClosePreview this item
Checking...

Trace-based network proof systems : expressiveness and completeness

Author: David Gries; Fred B Schneider; Jennifer Widom
Publisher: Ithaca, N.Y. : Cornell University, Dept. of Computer Science, 1989.
Series: Cornell University.; Department of Computer Science.; Technical report
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
Abstract: "We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We then consider the expressiveness required of any trace logic that encodes these extensions."
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: David Gries; Fred B Schneider; Jennifer Widom
OCLC Number: 22649111
Notes: "February 1989."
Description: 32 pages : illustrations ; 28 cm.
Series Title: Cornell University.; Department of Computer Science.; Technical report
Responsibility: David Gries, Fred B. Schneider, Jennifer Widom.

Abstract:

Abstract: "We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We then consider the expressiveness required of any trace logic that encodes these extensions."

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/22649111> # Trace-based network proof systems : expressiveness and completeness
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "22649111" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/24663073#Place/ithaca_n_y> ; # Ithaca, N.Y.
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/24663073#Person/widom_jennifer> ; # Jennifer Widom
   schema:contributor <http://viaf.org/viaf/223360832> ; # Fred B. Schneider
   schema:creator <http://experiment.worldcat.org/entity/work/data/24663073#Person/gries_david_1939> ; # David Gries
   schema:datePublished "1989" ;
   schema:description "Abstract: "We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We then consider the expressiveness required of any trace logic that encodes these extensions.""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/24663073> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/24663073#Series/technical_report> ; # Technical report ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/24663073#Series/technical_report_cornell_university_dept_of_computer_science> ; # Technical report. Cornell University. Dept. of Computer Science ;
   schema:name "Trace-based network proof systems : expressiveness and completeness"@en ;
   schema:productID "22649111" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/22649111#PublicationEvent/ithaca_n_y_cornell_university_dept_of_computer_science_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/24663073#Agent/cornell_university_dept_of_computer_science> ; # Cornell University, Dept. of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/22649111> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/24663073#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/24663073#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/24663073#Person/gries_david_1939> # David Gries
    a schema:Person ;
   schema:birthDate "1939" ;
   schema:familyName "Gries" ;
   schema:givenName "David" ;
   schema:name "David Gries" ;
    .

<http://experiment.worldcat.org/entity/work/data/24663073#Person/widom_jennifer> # Jennifer Widom
    a schema:Person ;
   schema:familyName "Widom" ;
   schema:givenName "Jennifer" ;
   schema:name "Jennifer Widom" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/24663073#Series/technical_report_cornell_university_dept_of_computer_science> # Technical report. Cornell University. Dept. of Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/22649111> ; # Trace-based network proof systems : expressiveness and completeness
   schema:name "Technical report. Cornell University. Dept. of Computer Science ;" ;
    .

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

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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