skip to content
Computer-aided verification of coordinating processes : the automata-theoretic approach Preview this item
ClosePreview this item
Checking...

Computer-aided verification of coordinating processes : the automata-theoretic approach

Author: R P Kurshan
Publisher: Princeton, New Jersey : Princeton University Press, [1994] ©1994
Series: Princeton series in computer science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Kurshan, R.P.
Computer-aided verification of coordinating processes : the automata-theoretic approach.
Princeton, New Jersey : Princeton University Press, [1994]
xii, 270 pages ; 24 cm.
(DLC) 94042672
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: R P Kurshan
ISBN: 9781400864041 1400864046
OCLC Number: 889252516
Description: 1 online resource (284 pages).
Contents: Preface1Introduction32Boolean Algebra313L-matrix454L-language515String Acceptors636[omega]-theory: L-automaton/L-process777The Selection/Resolution Model1098Reduction of Verification1539Structural Induction20310Binary Decision Diagrams215Appendices231Bibliography241Glossary263Index264
Series Title: Princeton series in computer science.
Responsibility: Robert P. Kurshan.

Reviews

Editorial reviews

Publisher Synopsis

"A self-contained introduction for anyone familiar with the fundamentals of the theory of machines. The book is well indexed and contains a substantial bibliography, as well as pointing to the Read more...

 
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


Primary Entity

<http://www.worldcat.org/oclc/889252516> # Computer-aided verification of coordinating processes : the automata-theoretic approach
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "889252516" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_industrial_engineering> ; # TECHNOLOGY & ENGINEERING--Industrial Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/mathematics_complex_analysis> ; # MATHEMATICS--Complex Analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_industrial_technology> ; # TECHNOLOGY & ENGINEERING--Industrial Technology
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_technical_&_manufacturing_industries_&_trades> ; # TECHNOLOGY & ENGINEERING--Technical & Manufacturing Industries & Trades
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/manufacturing_processes_planning_data_processing> ; # Manufacturing processes--Planning--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/expert_systems_computer_science_verification> ; # Expert systems (Computer science)--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/system_design> ; # System design
    schema:about <http://dewey.info/class/670.42/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_manufacturing> ; # TECHNOLOGY & ENGINEERING--Manufacturing
    schema:author <http://experiment.worldcat.org/entity/work/data/3857827886#Person/kurshan_r_p_1943> ; # R. P. Kurshan
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "1994" ;
    schema:datePublished "1994" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3857827886> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3857827886#Series/princeton_series_in_computer_science> ; # Princeton series in computer science.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3857827886#CreativeWork/computer_aided_verification_of_coordinating_processes_the_automata_theoretic_approach> ;
    schema:name "Computer-aided verification of coordinating processes : the automata-theoretic approach"@en ;
    schema:productID "889252516" ;
    schema:url <http://0-search.ebscohost.com.librarycatalog.vts.edu/login.aspx?direct=true&scope=site&db=nlebk&AN=790867> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=790867> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3030708> ;
    schema:url <http://www.jstor.org/stable/10.2307/j.ctt7ztp96> ;
    schema:url <https://doi.org/10.1515/9781400864041> ;
    schema:url <http://dx.doi.org/10.1515/9781400864041> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://www.jstor.org/stable/10.2307/j.ctt7ztp96> ;
    schema:url <http://site.ebrary.com/id/10898821> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=790867> ;
    schema:url <https://nl.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=790867> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=790867> ;
    schema:url <http://0-www.jstor.org.lib.exeter.ac.uk/stable/10.2307/j.ctt7ztp96> ;
    schema:workExample <http://worldcat.org/isbn/9781400864041> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/889252516> ;
    .


Related Entities

<http://0-www.jstor.org.lib.exeter.ac.uk/stable/10.2307/j.ctt7ztp96>
    rdfs:comment "Available online via JSTOR. Login when prompted." ;
    .

<http://dproxy.library.dc-uoit.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=790867>
    rdfs:comment "eBook available for Durham College via EBSCOhost. Click link to access" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Person/kurshan_r_p_1943> # R. P. Kurshan
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Kurshan" ;
    schema:givenName "R. P." ;
    schema:name "R. P. Kurshan" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Series/princeton_series_in_computer_science> # Princeton series in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/889252516> ; # Computer-aided verification of coordinating processes : the automata-theoretic approach
    schema:name "Princeton series in computer science." ;
    schema:name "Princeton series in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/computational_complexity> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/expert_systems_computer_science_verification> # Expert systems (Computer science)--Verification
    a schema:Intangible ;
    schema:name "Expert systems (Computer science)--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/manufacturing_processes_planning_data_processing> # Manufacturing processes--Planning--Data processing
    a schema:Intangible ;
    schema:name "Manufacturing processes--Planning--Data processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/mathematics_complex_analysis> # MATHEMATICS--Complex Analysis
    a schema:Intangible ;
    schema:name "MATHEMATICS--Complex Analysis"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_industrial_engineering> # TECHNOLOGY & ENGINEERING--Industrial Engineering
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Industrial Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_industrial_technology> # TECHNOLOGY & ENGINEERING--Industrial Technology
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Industrial Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_manufacturing> # TECHNOLOGY & ENGINEERING--Manufacturing
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Manufacturing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857827886#Topic/technology_&_engineering_technical_&_manufacturing_industries_&_trades> # TECHNOLOGY & ENGINEERING--Technical & Manufacturing Industries & Trades
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Technical & Manufacturing Industries & Trades"@en ;
    .

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=790867>
    rdfs:comment "from EBSCO Academic Collection" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/3857827886#CreativeWork/computer_aided_verification_of_coordinating_processes_the_automata_theoretic_approach>
    a schema:CreativeWork ;
    rdfs:label "Computer-aided verification of coordinating processes : the automata-theoretic approach." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/889252516> ; # Computer-aided verification of coordinating processes : the automata-theoretic approach
    .

<http://worldcat.org/isbn/9781400864041>
    a schema:ProductModel ;
    schema:isbn "1400864046" ;
    schema:isbn "9781400864041" ;
    .

<http://www.worldcat.org/title/-/oclc/889252516>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/889252516> ; # Computer-aided verification of coordinating processes : the automata-theoretic approach
    schema:dateModified "2018-08-24" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3030708>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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