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 A 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
Summary:

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of  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

Genre/Form: Princeton (NJ, 1996)
Conference proceedings
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Doron A 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
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/906987>
rdf:typeschema:Intangible
schema:name"Computer software--Verification."@en
schema:name"Electronic data processing--Distributed processing"@en
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/872604>
rdf:typeschema:Intangible
schema:name"Zustandsraum."@en
schema:name"Computer software--Verification"@en
schema:about
schema:about
<http://id.loc.gov/authorities/subjects/sh2008102927>
rdf:typeschema:Intangible
schema:name"Electronic data processing--Distributed processing--Congresses."@en
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"1997"
schema:datePublished"1997"
schema:exampleOfWork<http://worldcat.org/entity/work/id/45752994>
schema:genre"Conference proceedings."@en
schema:genre"Princeton (NJ, 1996)"@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:name"Partial order methods in verification : DIMACS workshop July 24-26, 1996"@en
schema:numberOfPages"403"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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