skip to content
Type systems for distributed programs : components and sessions Preview this item
ClosePreview this item
Checking...

Type systems for distributed programs : components and sessions

Author: Ornela Dardha
Publisher: [France] : Atlantis Press, 2016.
Series: Atlantis studies in computing, v. 7.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more  Read more...
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: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ornela Dardha
ISBN: 9789462392045 9462392048 946239203X 9789462392038
OCLC Number: 954214898
Description: 1 online resource (xxii, 192 pages) : illustrations (some color).
Contents: 1.Background on Components.- 2. A Type System for Components.- 3. Properties of the Type System.- 4.Background on pi- Types.- 5. Background on Session Types.- 6. Session Types Revisited.- 7. Subtyping.- 8. Polymorphism.- 9.Higher-Order Communication.- 10.Recursion.- 11.From pi- Types to Session Types.- 12. Background on pi- types for Lock Freedom.- 13 Background on Session Types for Progress.- 14 Progress as Compositional Lock Freedom.
Series Title: Atlantis studies in computing, v. 7.
Responsibility: Ornela Dardha.
More information:

Abstract:

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings. The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.

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/954214898> # Type systems for distributed programs : components and sessions
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "954214898" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3763424011#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/3763424011#Topic/computers_software_development_&_engineering_quality_assurance_&_testing> ; # COMPUTERS / Software Development & Engineering / Quality Assurance & Testing
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3763424011#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/3763424011#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:author <http://experiment.worldcat.org/entity/work/data/3763424011#Person/dardha_ornela> ; # Ornela Dardha
    schema:bookFormat schema:EBook ;
    schema:datePublished "2016" ;
    schema:description "In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings. The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3763424011> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/2212-8557> ; # Atlantis studies in computing,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3763424011#Series/atlantis_studies_in_computing> ; # Atlantis studies in computing ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3763424011#CreativeWork/> ;
    schema:name "Type systems for distributed programs : components and sessions"@en ;
    schema:productID "954214898" ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1285855> ;
    schema:url <http://lib.myilibrary.com?id=943342> ;
    schema:url <http://dx.doi.org/10.2991/978-94-6239-204-5> ;
    schema:workExample <http://dx.doi.org/10.2991/978-94-6239-204-5> ;
    schema:workExample <http://worldcat.org/isbn/9789462392038> ;
    schema:workExample <http://worldcat.org/isbn/9789462392045> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/954214898> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3763424011#Person/dardha_ornela> # Ornela Dardha
    a schema:Person ;
    schema:familyName "Dardha" ;
    schema:givenName "Ornela" ;
    schema:name "Ornela Dardha" ;
    .

<http://experiment.worldcat.org/entity/work/data/3763424011#Series/atlantis_studies_in_computing> # Atlantis studies in computing ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/954214898> ; # Type systems for distributed programs : components and sessions
    schema:name "Atlantis studies in computing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3763424011#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3763424011#Topic/computers_software_development_&_engineering_quality_assurance_&_testing> # COMPUTERS / Software Development & Engineering / Quality Assurance & Testing
    a schema:Intangible ;
    schema:name "COMPUTERS / Software Development & Engineering / Quality Assurance & Testing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3763424011#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3763424011#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://lib.myilibrary.com?id=943342>
    rdfs:comment "Connect to MyiLibrary resource." ;
    .

<http://worldcat.org/entity/work/data/3763424011#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/954214898> ; # Type systems for distributed programs : components and sessions
    .

<http://worldcat.org/isbn/9789462392038>
    a schema:ProductModel ;
    schema:description "print" ;
    schema:isbn "946239203X" ;
    schema:isbn "9789462392038" ;
    .

<http://worldcat.org/isbn/9789462392045>
    a schema:ProductModel ;
    schema:isbn "9462392048" ;
    schema:isbn "9789462392045" ;
    .

<http://worldcat.org/issn/2212-8557> # Atlantis studies in computing,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/954214898> ; # Type systems for distributed programs : components and sessions
    schema:issn "2212-8557" ;
    schema:name "Atlantis studies in computing," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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