skip to content
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings Preview this item
ClosePreview this item
Checking...

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

Author: Roberto M Amadio
Publisher: Berlin ; New York : Springer, 2008.
Series: Lecture notes in computer science, 4962.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis,  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: Kongress
Conference papers and proceedings
Budapest (2008)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Roberto M Amadio
ISBN: 9783540784975 3540784977
OCLC Number: 192082602
Description: xv, 504 pages : illustrations ; 24 cm.
Contents: Finding Your Way in a Forest: On Different Types of Trees and Their Properties.- Simple Stochastic Games with Few Random Vertices Are Easy to Solve.- The Complexity of Nash Equilibria in Infinite Multiplayer Games.- Stochastic Games with Lossy Channels.- Simulation Hemi-metrics between Infinite-State Stochastic Games.- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).- The ?-Regular Post Embedding Problem.- Complexity of Decision Problems for Mixed and Modal Specifications.- Classes of Tree Homomorphisms with Decidable Preservation of Regularity.- A Kleene-Schutzenberger Theorem for Weighted Timed Automata.- Robust Analysis of Timed Automata Via Channel Machines.- The Common Fragment of ACTL and LTL.- The Complexity of CTL* + Linear Past.- Footprints in Local Reasoning.- A Modal Deconstruction of Access Control Logics.- Coalgebraic Logic and Synthesis of Mealy Machines.- The Microcosm Principle and Concurrency in Coalgebra.- Systems of Equations Satisfied in All Commutative Finite Semigroups.- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity.- On Decision Problems for Probabilistic Buchi Automata.- Model-Checking ?-Regular Properties of Interval Markov Chains.- Prevision Domains and Convex Powercones.- RPO, Second-Order Contexts, and ?-Calculus.- Erasure and Polymorphism in Pure Type Systems.- The Implicit Calculus of Constructions as a Programming Language with Dependent Types.- Strong Normalisation of Cut-Elimination That Simulates ?-Reduction.- Symbolic Semantics Revisited.- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.- Structural Operational Semantics for Stochastic Process Calculi.- Compositional Methods for Information-Hiding.- Products of Message Sequence Charts.- What Else Is Decidable about Integer Arrays?.- Model Checking Freeze LTL over One-Counter Automata.
Series Title: Lecture notes in computer science, 4962.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: Joint European Conferences on Theory and Practice of Software
European Joint Conferences on Theory and Practice of Software 2008
Responsibility: Roberto Amadio (ed.).
More information:

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/192082602> # Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "192082602" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/900101580#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/900101580#Topic/programmierung> ; # Programmierung
    schema:about <http://id.worldcat.org/fast/1141385> ; # System analysis
    schema:about <http://dewey.info/class/003/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/900101580#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/900101580#Topic/system_analysis> ; # System analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/900101580#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:alternateName "Joint European Conferences on Theory and Practice of Software" ;
    schema:alternateName "European Joint Conferences on Theory and Practice of Software 2008" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/900101580#Meeting/etaps_2008_2008_budapest_hungary> ; # ETAPS 2008 (2008 : Budapest, Hungary)
    schema:contributor <http://viaf.org/viaf/5880430> ; # Roberto M. Amadio
    schema:creator <http://experiment.worldcat.org/entity/work/data/900101580#Meeting/fossacs_2008_2008_budapest_hungary> ; # FOSSACS 2008 (2008 : Budapest, Hungary)
    schema:datePublished "2008" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/900101580> ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Budapest (2008)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900101580#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900101580#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900101580#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:name "Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings"@en ;
    schema:productID "192082602" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/192082602#PublicationEvent/berlin_new_york_springer_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/900101580#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4962> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-78499-9> ;
    schema:url <http://ezproxy.rice.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4962> ;
    schema:workExample <http://worldcat.org/isbn/9783540784975> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/192082602> ;
    .


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/900101580#Meeting/fossacs_2008_2008_budapest_hungary> # FOSSACS 2008 (2008 : Budapest, Hungary)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/900101580#Place/budapest_hungary> ; # Budapest, Hungary)
    schema:name "FOSSACS 2008 (2008 : Budapest, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#Place/budapest_hungary> # Budapest, Hungary)
    a schema:Place ;
    schema:name "Budapest, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/192082602> ; # Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/192082602> ; # Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/192082602> ; # Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/900101580#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/5880430> # Roberto M. Amadio
    a schema:Person ;
    schema:familyName "Amadio" ;
    schema:givenName "Roberto M." ;
    schema:name "Roberto M. Amadio" ;
    .

<http://worldcat.org/isbn/9783540784975>
    a schema:ProductModel ;
    schema:isbn "3540784977" ;
    schema:isbn "9783540784975" ;
    .

<http://www.worldcat.org/title/-/oclc/192082602>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/192082602> ; # Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
    schema:dateModified "2018-11-13" ;
    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.