skip to content
Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings Preview this item
ClosePreview this item
Checking...

Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings

Author: David Lee; Antónia Lopes; Arnd Poetzsch-Heffter
Publisher: Berlin ; New York : Springer-Verlag, ©2009.
Series: Lecture notes in computer science, 5522.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal).
Formal techniques for distributed systems.
Berlin ; New York : Springer-Verlag, ©2009
(OCoLC)401153802
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Lee; Antónia Lopes; Arnd Poetzsch-Heffter
ISBN: 9783642021381 3642021387
OCLC Number: 432703036
Description: 1 online resource (xii, 248 pages) : illustrations.
Contents: Invited Contribution.- The Orc Programming Language.- Regular Contributions.- Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.- Approximated Context-Sensitive Analysis for Parameterized Verification.- Verification of Parameterized Systems with Combinations of Abstract Domains.- On Model-Checking Optimistic Replication Algorithms.- Recursive Parametric Automata and ?-Removal.- A Software Platform for Timed Mobility and Timed Interaction.- Modeling, Validation, and Verification of PCEP Using the IF Language.- Distinguing Non-deterministic Timed Finite State Machines.- System Model-Based Definition of Modeling Language Semantics.- Typing Component-Based Communication Systems.- Epistemic Logic for the Applied Pi Calculus.- On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.- Short Papers.- Using First-Order Logic to Reason about Submodule Construction.- A Model-Checking Approach for Service Component Architectures.- Dynamic Symbolic Execution of Distributed Concurrent Objects.- Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.- A Type Graph Model for Java Programs.- Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.
Series Title: Lecture notes in computer science, 5522.
Responsibility: David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.).

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/432703036> # Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "432703036" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892456728#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/892456728#Topic/informatique> ; # Informatique
   schema:about <http://dewey.info/class/004.36/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/892456728#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/892456728#Person/lee_david> ; # David Lee
   schema:contributor <http://experiment.worldcat.org/entity/work/data/892456728#Meeting/forte_2009_2009_lisbon_portugal> ; # FORTE 2009 (2009 : Lisbon, Portugal)
   schema:contributor <http://viaf.org/viaf/14296887> ; # Antónia Lopes
   schema:contributor <http://viaf.org/viaf/90482400> ; # Arnd Poetzsch-Heffter
   schema:copyrightYear "2009" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/892456728#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_11th_2009_lisbon_portugal> ; # International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/892456728> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892456728#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isSimilarTo <http://www.worldcat.org/oclc/401153802> ;
   schema:name "Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings"@en ;
   schema:productID "432703036" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/432703036#PublicationEvent/berlin_new_york_springer_verlag_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/892456728#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://site.ebrary.com/id/10310318> ;
   schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5522> ;
   schema:url <http://link.springer.com/10.1007/978-3-642-02138-1> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-642-02138-1> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-02137-4> ;
   schema:url <http://www.myilibrary.com?id=263484> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-02138-1> ;
   schema:workExample <http://worldcat.org/isbn/9783642021381> ;
   umbel:isLike <http://d-nb.info/994038623> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/432703036> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_11th_2009_lisbon_portugal> # International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/892456728#Place/lisbon_portugal> ; # Lisbon, Portugal)
   schema:name "International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Place/lisbon_portugal> # Lisbon, Portugal)
    a schema:Place ;
   schema:name "Lisbon, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/432703036> ; # Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
   schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

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

<http://viaf.org/viaf/14296887> # Antónia Lopes
    a schema:Person ;
   schema:familyName "Lopes" ;
   schema:givenName "Antónia" ;
   schema:name "Antónia Lopes" ;
    .

<http://viaf.org/viaf/90482400> # Arnd Poetzsch-Heffter
    a schema:Person ;
   schema:familyName "Poetzsch-Heffter" ;
   schema:givenName "Arnd" ;
   schema:name "Arnd Poetzsch-Heffter" ;
    .

<http://worldcat.org/isbn/9783642021381>
    a schema:ProductModel ;
   schema:isbn "3642021387" ;
   schema:isbn "9783642021381" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/432703036> ; # Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/401153802>
    a schema:CreativeWork ;
   rdfs:label "Formal techniques for distributed systems." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/432703036> ; # Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/432703036>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/432703036> ; # Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
   schema:dateModified "2017-09-04" ;
   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.