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: Springer-Verlag New York Inc, ©2009.
Series: Lecture notes in computer science, 5522.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : 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 in the library

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

Details

Genre/Form: Conference papers and proceedings
Kongress
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: David Lee; Antónia Lopes; Arnd Poetzsch-Heffter
ISBN: 9783642021374 3642021379
OCLC Number: 401153802
Description: xii, 248 pages : illustrations ; 24 cm.
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.; LNCS sublibrary., SL 2,, Programming and software engineering.
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/401153802> # 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:Book, schema:CreativeWork ;
   library:oclcnum "401153802" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/004.2422gerDNB/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/892456728#Topic/verteiltes_system_formale_methode_lissabon_2009> ; # Verteiltes System--Formale Methode--Lissabon <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/892456728#Topic/software_testen_formale_methode_lissabon_2009> ; # Software--Testen--Formale Methode--Lissabon <2009>
   schema:about <http://experiment.worldcat.org/entity/work/data/892456728#Topic/rechnernetz_softwarespezifikation_formale_spezifikationstechnik_lissabon_2009> ; # Rechnernetz--Softwarespezifikation--Formale Spezifikationstechnik--Lissabon <2009>
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   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/1042804> ; # Object-oriented programming (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/14296887> ; # Antónia Lopes
   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/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 "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892456728#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892456728#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS Sublibrary: SL 2, Programming and software engineering
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892456728#Series/lncs_sublibrary> ; # LNCS sublibrary.
   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 "401153802" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/401153802#PublicationEvent/springer_verlag_new_york_inc_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/892456728#Agent/springer_verlag_new_york_inc> ; # Springer-Verlag New York Inc
   schema:workExample <http://worldcat.org/isbn/9783642021374> ;
   umbel:isLike <http://d-nb.info/994038623> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/401153802> ;
    .


Related Entities

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

<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/401153802> ; # 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#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/401153802> ; # 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 "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS Sublibrary: SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/401153802> ; # 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 "LNCS Sublibrary: SL 2, Programming and software engineering" ;
    .

<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://experiment.worldcat.org/entity/work/data/892456728#Topic/rechnernetz_softwarespezifikation_formale_spezifikationstechnik_lissabon_2009> # Rechnernetz--Softwarespezifikation--Formale Spezifikationstechnik--Lissabon <2009>
    a schema:Intangible ;
   schema:name "Rechnernetz--Softwarespezifikation--Formale Spezifikationstechnik--Lissabon <2009>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Topic/software_testen_formale_methode_lissabon_2009> # Software--Testen--Formale Methode--Lissabon <2009>
    a schema:Intangible ;
   schema:name "Software--Testen--Formale Methode--Lissabon <2009>"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892456728#Topic/verteiltes_system_formale_methode_lissabon_2009> # Verteiltes System--Formale Methode--Lissabon <2009>
    a schema:Intangible ;
   schema:name "Verteiltes System--Formale Methode--Lissabon <2009>"@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://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/9783642021374>
    a schema:ProductModel ;
   schema:isbn "3642021379" ;
   schema:isbn "9783642021374" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/401153802> ; # 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/title/-/oclc/401153802>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/401153802> ; # 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-02" ;
   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.