skip to content
Partial order methods in verification : DIMACS workshop July 24-26, 1996 Preview this item
ClosePreview this item
Checking...

Partial order methods in verification : DIMACS workshop July 24-26, 1996

Author: Doron Peled; Vaughan R Pratt; Gerard J Holzmann; DIMACS (Group)
Publisher: Providence, R.I. : American Mathematical Society, ©1997.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 29.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Princeton (NJ, 1996)
Conference proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Doron Peled; Vaughan R Pratt; Gerard J Holzmann; DIMACS (Group)
ISBN: 0821805797 9780821805794
OCLC Number: 35849180
Notes: "Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Description: xiv, 403 p. : ill. ; 26 cm.
Contents: Prefix function view of states and events / Antoni Mazurkiewicz --
Elements of an automata theory over partial orders / Wolfgang Thomas --
Algebraic manipulations and vector languages / M. W. Shields --
Refinement with global equivalence proofs in temporal logic / Shmuel Katz --
A complete axiomatization of a first-order temporal logic over trace systems / Wojciech Penczek and Marian Srebrny --
Interleaved progress, concurrent progress, and local progress / W. Reisig --
Teams can see pomsets / Gordon Plotkin and Vaughan Pratt --
Presheaves as transition systems / Glynn Winskel and Mogens Nielsen --
On topological hierarchies of temporal properties / Christel Baier and Marta Kwiatkowska
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 29.
Responsibility: Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.

Reviews

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

Tags

Be the first.
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


<http://www.worldcat.org/oclc/35849180>
library:oclcnum"35849180"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/35849180>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/906987>
rdf:typeschema:Intangible
schema:name"Electronic data processing--Distributed processing."
schema:about
rdf:typeschema:Intangible
schema:name"Logiciels--Vérification--Congrès."
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Traitement réparti--Congrès."
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
rdf:typeschema:Organization
schema:name"Workshop on Partial Order Methods in Verification (1996 : Princeton University)"
schema:contributor
schema:contributor
schema:copyrightYear"1997"
schema:datePublished"1997"
schema:exampleOfWork<http://worldcat.org/entity/work/id/45752994>
schema:genre"Conference proceedings."
schema:inLanguage"en"
schema:name"Partial order methods in verification : DIMACS workshop July 24-26, 1996"
schema:numberOfPages"403"
schema:publisher
rdf:typeschema:Organization
schema:name"American Mathematical Society"
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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