skip to content
Mathematical techniques for analyzing concurrent and probabilistic systems Preview this item
ClosePreview this item
Checking...

Mathematical techniques for analyzing concurrent and probabilistic systems

Author: J J M M Rutten; P Panangaden; Franck van Breugel
Publisher: Providence, R.I. : American Mathematical Society, ©2004.
Series: CRM monograph series, v. 23.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in  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: J J M M Rutten; P Panangaden; Franck van Breugel
ISBN: 0821835718 9780821835715
OCLC Number: 54081654
Description: viii, 215 pages : illustrations ; 25 cm.
Contents: On streams and coinduction --
Ch. 1. Streams and coinduction --
Ch. 2. Stream calculus --
Ch. 3. Analytical differential equations --
Ch. 4. Conductive counting --
Ch. 5. Component connectors --
App. A. Key differential equations --
Modelling and verification of probabilistic systems.
Series Title: CRM monograph series, v. 23.
Responsibility: J.J.M.M. Rutten [and others] ; Prakash Panangaden, Franck van Breugel, 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


Primary Entity

<http://www.worldcat.org/oclc/54081654> # Mathematical techniques for analyzing concurrent and probabilistic systems
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "54081654" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/351247978#Place/providence_r_i> ; # Providence, R.I.
   schema:about <http://id.worldcat.org/fast/1141385> ; # System analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/351247978#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/351247978#Topic/systemanalyse> ; # Systemanalyse
   schema:about <http://experiment.worldcat.org/entity/work/data/351247978#Topic/systemes_analyse_de> ; # Systèmes, Analyse de
   schema:about <http://dewey.info/class/003/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/351247978#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/351247978#Topic/stochastisches_system> ; # Stochastisches System
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/44382739> ; # J. J. M. M. Rutten
   schema:contributor <http://viaf.org/viaf/118356911> ; # Franck van Breugel
   schema:contributor <http://viaf.org/viaf/15084416> ; # Prakash Panangaden
   schema:copyrightYear "2004" ;
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/351247978> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1065-8599> ; # CRM monograph series ;
   schema:name "Mathematical techniques for analyzing concurrent and probabilistic systems"@en ;
   schema:productID "54081654" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/54081654#PublicationEvent/providence_r_i_american_mathematical_society_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/351247978#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:workExample <http://worldcat.org/isbn/9780821835715> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/54081654> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/351247978#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/351247978#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
   schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/351247978#Topic/stochastisches_system> # Stochastisches System
    a schema:Intangible ;
   schema:name "Stochastisches System"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/351247978#Topic/systemes_analyse_de> # Systèmes, Analyse de
    a schema:Intangible ;
   schema:name "Systèmes, Analyse de"@en ;
   schema:name "Systèmes, Analyse de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/351247978#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

<http://id.worldcat.org/fast/1141385> # System analysis
    a schema:Intangible ;
   schema:name "System analysis"@en ;
    .

<http://viaf.org/viaf/118356911> # Franck van Breugel
    a schema:Person ;
   schema:birthDate "1966" ;
   schema:familyName "Breugel" ;
   schema:givenName "Franck van" ;
   schema:name "Franck van Breugel" ;
    .

<http://viaf.org/viaf/15084416> # Prakash Panangaden
    a schema:Person ;
   schema:familyName "Panangaden" ;
   schema:givenName "Prakash" ;
   schema:givenName "P." ;
   schema:name "Prakash Panangaden" ;
    .

<http://viaf.org/viaf/44382739> # J. J. M. M. Rutten
    a schema:Person ;
   schema:familyName "Rutten" ;
   schema:givenName "J. J. M. M." ;
   schema:name "J. J. M. M. Rutten" ;
    .

<http://worldcat.org/isbn/9780821835715>
    a schema:ProductModel ;
   schema:isbn "0821835718" ;
   schema:isbn "9780821835715" ;
    .

<http://worldcat.org/issn/1065-8599> # CRM monograph series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/54081654> ; # Mathematical techniques for analyzing concurrent and probabilistic systems
   schema:issn "1065-8599" ;
   schema:name "CRM monograph series ;" ;
   schema:name "CRM monograph series," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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