skip to content
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion Preview this item
ClosePreview this item
Checking...

Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion

Author: Franck Breugel
Publisher: Boston, MA : Birkhäuser Boston, 1996.
Series: Progress in theoretical computer science.
Edition/Format:   eBook : Bibliographic data : 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: Printed edition:
Material Type: Bibliographic data, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Franck Breugel
ISBN: 9781461241607 146124160X 9781461286806 1461286808
OCLC Number: 840279598
Description: 1 online resource (244 pages).
Contents: Nondeterminism and recursion.- Operational semantics.- Denotational semantics.- Metric spaces.- Comparative semantics.- Bibliographic notes.- I.- 1 Domain equations.- 1.1 Building domain equations.- 1.2 Solving domain equations.- 1.3 Bibliographic notes.- 2 Linear and branching domains.- 2.1 Two linear domains.- 2.2 Comparison of the linear domains.- 2.3 Three branching domains.- 2.4 Comparison of the branching domains.- 2.5 Relating linear and branching domains.- 2.6 Bibliographic notes.- II.- 3 Operational semantics.- 3.1 Labelled transition systems.- 3.2 Operational semantics.- 3.3 Linear semantics transformations.- 3.3.1 Compactness preserving.- 3.3.2 Closedness preserving.- 3.4 Branching semantics transformations.- 3.4.1 Compactness preserving.- 3.4.2 Closedness preserving.- 3.5 Relating semantics transformations.- 3.6 Bibliographic notes.- 4 Nondeterministic choice.- 4.1 Language definition.- 4.2 Operational semantics.- 4.3 Denotational semantics.- 4.4 Relating O and D.- 4.5 Bibliographic notes.- 5 Random assignment.- 5.1 Language definition.- 5.2 Operational semantics.- 5.3 Denotational semantics.- 5.4 Relating O and D.- 5.5 Bibliographic notes.- III.- 6 Generalized finiteness conditions.- 6.1 Metric labelled transition systems.- 6.2 Operational semantics.- 6.3 Linear semantics transformations.- 6.3.1 Compactness and nonexpansiveness preserving.- 6.3.2 Closedness and nonexpansiveness preserving.- 6.4 Branching semantics transformations.- 6.5 Relating semantics transformations.- 6.6 Bibliographic notes.- 7 Dense choice.- 7.1 Language definition.- 7.2 Operational semantics.- 7.3 Denotational semantics.- 7.4 Relating O and D.- 7.5 Bibliographic notes.- 8 Second order communication.- 8.1 Language definition.- 8.2 Operational semantics.- 8.3 Denotational semantics.- 8.4 Relating O and D.- 8.4.1 Intermediate semantics.- 8.4.2 Relating I and D.- 8.4.3 Relating O and I.- 8.5 Bibliographic notes.- A Metric spaces.- A.1 Metrics.- A.2 Completeness and contractiveness.- A.3 Hyperspaces.- A.4 Nonexpansive functions.- A.5 Bibliographic notes.- Author index.
Series Title: Progress in theoretical computer science.
Responsibility: by Franck Breugel.

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/840279598> # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "840279598" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866845574#Place/boston_ma> ; # Boston, MA
   rdfs:comment "Unknown 'gen' value: bdt" ;
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/004.0151/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/118356911> ; # Franck Breugel
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866845574> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866845574#Series/progress_in_theoretical_computer_science> ; # Progress in theoretical computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/866845574#CreativeWork/> ;
   schema:name "Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion"@en ;
   schema:productID "840279598" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/840279598#PublicationEvent/boston_ma_birkhauser_boston_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866845574#Agent/birkhauser_boston> ; # Birkhäuser Boston
   schema:url <http://link.springer.com/10.1007/978-1-4612-4160-7> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4612-4160-7> ;
   schema:workExample <http://worldcat.org/isbn/9781461286806> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4612-4160-7> ;
   schema:workExample <http://worldcat.org/isbn/9781461241607> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/840279598> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866845574#Agent/birkhauser_boston> # Birkhäuser Boston
    a bgn:Agent ;
   schema:name "Birkhäuser Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/866845574#Series/progress_in_theoretical_computer_science> # Progress in theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
   schema:name "Progress in theoretical computer science." ;
   schema:name "Progress in Theoretical Computer Science" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software"@en ;
    .

<http://link.springer.com/10.1007/978-1-4612-4160-7>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

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

<http://worldcat.org/entity/work/data/866845574#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    .

<http://worldcat.org/isbn/9781461241607>
    a schema:ProductModel ;
   schema:isbn "146124160X" ;
   schema:isbn "9781461241607" ;
    .

<http://worldcat.org/isbn/9781461286806>
    a schema:ProductModel ;
   schema:isbn "1461286808" ;
   schema:isbn "9781461286806" ;
    .

<http://www.worldcat.org/title/-/oclc/840279598>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
   schema:dateModified "2017-10-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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