skip to content
Foundations of software science and computation structures : 4th international conference ; proceedings Preview this item
ClosePreview this item
Checking...

Foundations of software science and computation structures : 4th international conference ; proceedings

Author: Furio Honsell; FOSSACS <4, 2001, Genova>; Joint European Conferences on Theory and Practice of Software <2001, Genova>
Publisher: Berlin [u.a.] : Springer, 2001.
Series: Lecture notes in computer science, vol. 2030
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Foundations of Software Science and Computation Structures.
Summary:

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware  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: Conference papers and proceedings
Kongress
Congresses
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Furio Honsell; FOSSACS <4, 2001, Genova>; Joint European Conferences on Theory and Practice of Software <2001, Genova>
ISBN: 3540418644 9783540418641
OCLC Number: 48723732
In: Honsell, Furio
Notes: Literaturangaben.
Description: XII, 412 S.
Contents: Invited Paper.- Adequacy for Algebraic Effects.- Contributed Papers.- Secrecy Types for Asymmetric Communication.- Axiomatizing Tropical Semirings.- Type Isomorphisms and Proof Reuse in Dependent Type Theory.- On the Duality between Observability and Reachability.- The Finite Graph Problem for Two-Way Alternating Automata.- High-Level Petri Nets as Type Theories in the Join Calculus.- Temporary Data in Shared Dataspace Coordination Languages.- On Garbage and Program Logic.- The Complexity of Model Checking Mobile Ambients.- The Rho Cube.- Type Inference with Recursive Type Equations.- On the Modularity of Deciding Call-by-Need.- Synchronized Tree Languages Revisited and New Applications.- Computational Completeness of Programming Languages Based on Graph Transformation.- Axioms for Recursion in Call-by-Value.- Class Analysis of Object-Oriented Programs through Abstract Interpretation.- On the Complexity of Parity Word Automata.- Foundations for a Graph-Based Approach to the Specification of Access Control Policies.- Categories of Processes Enriched in Final Coalgebras.- Model Checking CTL+ and FCTL Is Hard.- On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.- Verified Bytecode Verifiers.- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the ?-Calculus and Mechanizing the Theory of Contexts.- Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.- An Axiomatic Semantics for the Synchronous Language Gentzen.- Tool Presentation.- Marrella and the Verification of an Embedded System.
Series Title: Lecture notes in computer science, vol. 2030
Other Titles: FOSSACS 2001, Joint European Conferences on Theory and Practice of Software, ETAPS 2001
Responsibility: FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Furio Honsell ; Marino Miculan (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/48723732> # Foundations of software science and computation structures : 4th international conference ; proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "48723732" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/867181362#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/programmierung> ; # Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/computer_software> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/computer_software_congresses> ; # Computer software--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/system_analysis> ; # System analysis
   schema:about <http://id.worldcat.org/fast/1141385> ; # System analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Topic/system_analysis_congresses> ; # System analysis--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/867181362#Place/genua_2001> ; # Genua <2001>
   schema:alternateName "FOSSACS 2001, Joint European Conferences on Theory and Practice of Software, ETAPS 2001" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Meeting/european_joint_conference_on_theory_and_practice_of_software_4_genova> ; # European Joint Conference on Theory and Practice of Software (4 : Genova)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Meeting/fossacs_2001_4_genova> ; # FOSSACS 2001 (4 : Genova)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Meeting/international_conference_foundations_of_software_science_and_computation_structures_4_genova> ; # International Conference Foundations of Software Science and Computation Structures (4 : Genova)
   schema:contributor <http://viaf.org/viaf/10735312> ; # Furio Honsell
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Organization/joint_european_conferences_on_theory_and_practice_of_software_2001_genova> ; # Joint European Conferences on Theory and Practice of Software <2001, Genova>
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Meeting/etaps_2001_4_genova> ; # ETAPS 2001 (4 : Genova)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/867181362#Organization/fossacs_4_2001_genova> ; # FOSSACS <4, 2001, Genova>
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/867181362> ;
   schema:genre "Kongress" ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/867181362#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Foundations of software science and computation structures : 4th international conference ; proceedings" ;
   schema:productID "48723732" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/48723732#PublicationEvent/berlin_u_a_springer_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/867181362#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz090570863inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz090570863cov.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz090570863kap.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540418641> ;
   umbel:isLike <http://d-nb.info/960954791> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/48723732> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/867181362#Meeting/european_joint_conference_on_theory_and_practice_of_software_4_genova> # European Joint Conference on Theory and Practice of Software (4 : Genova)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/867181362#Place/genova> ; # Genova)
   schema:name "European Joint Conference on Theory and Practice of Software (4 : Genova)" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Meeting/international_conference_foundations_of_software_science_and_computation_structures_4_genova> # International Conference Foundations of Software Science and Computation Structures (4 : Genova)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/867181362#Place/genova> ; # Genova)
   schema:name "International Conference Foundations of Software Science and Computation Structures (4 : Genova)" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Organization/fossacs_4_2001_genova> # FOSSACS <4, 2001, Genova>
    a schema:Organization ;
   schema:name "FOSSACS <4, 2001, Genova>" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Organization/joint_european_conferences_on_theory_and_practice_of_software_2001_genova> # Joint European Conferences on Theory and Practice of Software <2001, Genova>
    a schema:Organization ;
   schema:name "Joint European Conferences on Theory and Practice of Software <2001, Genova>" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/48723732> ; # Foundations of software science and computation structures : 4th international conference ; proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Topic/computer_software_congresses> # Computer software--Congresses
    a schema:Intangible ;
   schema:name "Computer software--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Topic/system_analysis_congresses> # System analysis--Congresses
    a schema:Intangible ;
   schema:name "System analysis--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/867181362#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik" ;
    .

<http://id.worldcat.org/fast/1141385> # System analysis
    a schema:Intangible ;
   schema:name "System analysis" ;
    .

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

<http://viaf.org/viaf/10735312> # Furio Honsell
    a schema:Person ;
   schema:familyName "Honsell" ;
   schema:givenName "Furio" ;
   schema:name "Furio Honsell" ;
    .

<http://worldcat.org/isbn/9783540418641>
    a schema:ProductModel ;
   schema:isbn "3540418644" ;
   schema:isbn "9783540418641" ;
    .

<http://www.worldcat.org/title/-/oclc/48723732>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/48723732> ; # Foundations of software science and computation structures : 4th international conference ; proceedings
   schema:dateModified "2017-12-25" ;
   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.