did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540418641

Foundations of Software Science and Computation Structures: 4th International Conference, Fossacs 2001, Held As Part of the Joint European Conference on Theory and Practice of Software,

by
  • ISBN13:

    9783540418641

  • ISBN10:

    3540418644

  • Edition: 1st
  • Format: Paperback
  • Copyright: 2001-04-01
  • Publisher: SPRINGER
  • Purchase Benefits
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.

Table of Contents

Invited Paper
Adequacy for Algebraic Effects
1(24)
Gordon Plotkin
John Power
Contributed Papers
Secrecy Types for Asymmetric Communication
25(17)
Martin Abadi
Bruno Blanchet
Axiomatizing Tropical Semirings
42(15)
Luca Aceto
Zoltan Esik
Anna Ingolfsdottir
Type Isomorphisms and Proof Reuse in Dependent Type Theory
57(15)
Gilles Barthe
Olivier Pons
On the Duality between Observability and Reachability
72(16)
Michel Bidoit
Rolf Hennicker
Alexander Kurz
The Finite Graph Problem for Two-Way Alternating Automata
88(16)
Mikolaj Bojanczyk
High-Level Petri Nets as Type Theories in the Join Calculus
104(17)
Maria Grazia Buscemi
Vladimiro Sassone
Temporary Data in Shared Dataspace Coordination Languages
121(16)
Nadia Busi
Roberto Gorrieri
Gianluigi Zavattaro
On Garbage and Program Logic
137(15)
Cristiano Calcagno
Peter W. O'Hearn
The Complexity of Model Checking Mobile Ambients
152(16)
Witold Charatonik
Silvano Dal Zilio
Andrew D. Gordon
Supratik Mukhopadhyay
Jean-Marc Talbot
The Rho Cube
168(16)
Horatiu Cirstea
Claude Kirchner
Luigi Liquori
Type Inference with Recursive Type Equations
184(15)
Mario Coppo
On the Modularity of Deciding Call-by-Need
199(15)
Irene Durand
Aart Middeldorp
Synchronized Tree Languages Revisited and New Applications
214(16)
Valerie Gouranton
Pierre Rety
Helmut Seidl
Computational Completeness of Programming Languages Based on Graph Transformation
230(16)
Annegret Habel
Detlef Plump
Axioms for Recursion in Call-by-Value (Extended Abstract)
246(15)
Masahito Hasegawa
Yoshihiko Kakutani
Class Analysis of Object-Oriented Programs through Abstract Interpretation
261(15)
Thomas Jensen
Fausto Spoto
On the Complexity of Parity Word Automata
276(11)
Valerie King
Orna Kupferman
Moshe Y. Vardi
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
287(16)
Manuel Koch
Luigi Vincenzo Mancini
Francesco Parisi-Presicce
Categories of Processes Enriched in Final Coalgebras
303(15)
Sava Krstic
John Launchbury
Dusko Pavlovic
Model Checking CTL+ and FCTL Is Hard
318(14)
Francois Laroussinie
Nicolas Markey
Philippe Schnoebelen
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
332(15)
Remi Morin
Verified Bytecode Verifiers
347(17)
Tobias Nipkow
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts
364(15)
Christine Rockl
Daniel Hirschkoff
Stefan Berghofer
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes
379(15)
Colin Stirling
An Axiomatic Semantics for the Synchronous Language Gentzen
394(15)
Simone Tini
Tool Presentation
MARRELLA and the Verification of an Embedded System
409(4)
Dominique Ambroise
Patrick Auge
Kamel Bouchefra
Brigitte Rozoy
Author Index 413

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program