Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings / Edition 1

Paperback (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $45.02
Usually ships in 1-2 business days
(Save 65%)
Other sellers (Paperback)
  • All (14) from $45.02   
  • New (10) from $80.87   
  • Used (4) from $45.02   


This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.

The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections.

Read More Show Less

Product Details

Table of Contents

On finite alphabets and infinite bases II : completed and ready simulation 1
A theory for observational fault tolerance 16
Smooth orchestrators 32
On the relative expressive power of asynchronous communication primitives 47
More on bisimulations for higher order [pi]-calculus 63
Register allocation after classical SSA elimination is NP-complete 79
A logic of reachable patterns in linked data-structures 94
Dynamic policy discovery with remote attestation 111
Distributed unfolding of Petri nets 126
On the [mu]-calculus augmented with sabotage 142
A finite model construction for coalgebraic modal logic 157
Presenting functors by operations and equations 172
Bigraphical models of context-aware systems 187
Processes for adhesive rewriting systems 202
On metric temporal logic and faulty turing machines 217
Denotational semantics of hybrid automata 231
Reversing algebraic process calculi 246
Conjunction on processes : full-abstraction via ready-tree semantics 261
Undecidability results for bisimilarity on prefix rewrite systems 277
Propositional dynamic logic with recursive programs 292
A semantic approach to interpolation 307
first-order and counting theories of [omega]-automatic structures 322
Parity games played on transition graphs of one-counter processes 337
Bidomains and full abstraction for countable nondeterminism 352
An operational characterization of strong normalization 367
On the confluence of [lambda]-calculus with conditional rewriting 382
Guessing attacks and the computational soundness of static equivalence 398
Handling exp, x (and timestamps) in protocol analysis 413
Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario 428
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)