8. FoSSaCS 2005: Edinburgh, UK (Part of ETAPS 2005)

Vladimiro Sassone (Ed.): Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3441 Springer 2005, ISBN 3-540-25388-2 BibTeX

Invited Talks

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. 1-24
Electronic Edition (link) BibTeX
Marcelo P. Fiore:
Mathematical Models of Computational and Combinatorial Structures. 25-46
Electronic Edition (link) BibTeX

Rule Formats and Bisimulation

Mohammad Reza Mousavi, Michel A. Reniers:
Congruence for Structural Congruences. 47-62
Electronic Edition (link) BibTeX
Ruggero Lanotte, Simone Tini:
Probabilistic Congruence for Semistochastic Generative Processes. 63-78
Electronic Edition (link) BibTeX
Gerald Lüttgen, Walter Vogler:
Bisimulation on Speed: A Unified Approach. 79-94
Electronic Edition (link) BibTeX

Probabilistic Models

Samy Abbes, Albert Benveniste:
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. 95-109
Electronic Edition (link) BibTeX
Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for Probabilistic Finite-State Behaviors. 110-124
Electronic Edition (link) BibTeX
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. 125-139
Electronic Edition (link) BibTeX
François Laroussinie, Jeremy Sproston:
Model Checking Durational Probabilistic Systems. 140-154
Electronic Edition (link) BibTeX

Algebraic Models

Ian Stark:
Free-Algebra Models for the pi-Calculus. 155-169
Electronic Edition (link) BibTeX
Marino Miculan, Kidane Yemane:
A Unifying Model of Variables and Names. 170-186
Electronic Edition (link) BibTeX
Ulrich Fahrenberg:
A Category of Higher-Dimensional Automata. 187-201
Electronic Edition (link) BibTeX

Games and Automata

Andrzej S. Murawski, Igor Walukiewicz:
Third-Order Idealized Algol with Iteration Is Decidable. 202-218
Electronic Edition (link) BibTeX
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza:
Fault Diagnosis Using Timed Automata. 219-233
Electronic Edition (link) BibTeX
Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal Conditional Reachability for Multi-priced Timed Automata. 234-249
Electronic Edition (link) BibTeX
Slawomir Lasota, Igor Walukiewicz:
Alternating Timed Automata. 250-265
Electronic Edition (link) BibTeX

Language Analysis

Alan Jeffrey, Julian Rathke:
Full Abstraction for Polymorphic Pi-Calculus. 266-281
Electronic Edition (link) BibTeX
Cosimo Laneve, Gianluigi Zavattaro:
Foundations of Web Transactions. 282-298
Electronic Edition (link) BibTeX
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld:
Bridging Language-Based and Process Calculi Security. 299-315
Electronic Edition (link) BibTeX
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
History-Based Access Control with Local Policies. 316-332
Electronic Edition (link) BibTeX

Partial Order Models

Sibylle B. Fröschle:
Composition and Decomposition in True-Concurrency. 333-347
Electronic Edition (link) BibTeX
Mark Schäfer, Walter Vogler:
Component Refinement and CSC Solving for STG Decomposition. 348-363
Electronic Edition (link) BibTeX
Yves Bontemps, Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts. 364-378
Electronic Edition (link) BibTeX

Logics

James Cheney:
A Simpler Proof Theory for Nominal Logic. 379-394
Electronic Edition (link) BibTeX
Cristiano Calcagno, Philippa Gardner, Matthew Hague:
From Separation Logic to First-Order Logic. 395-409
Electronic Edition (link) BibTeX
Healfdene Goguen:
Justifying Algorithms for beta-eta-Conversion. 410-424
Electronic Edition (link) BibTeX
Marius Bozga, Radu Iosif:
On Decidability Within the Arithmetic of Addition and Divisibility. 425-439
Electronic Edition (link) BibTeX

Coalgebraic Modal Logics

Lutz Schröder:
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. 440-454
Electronic Edition (link) BibTeX
Marcello M. Bonsangue, Alexander Kurz:
Duality for Logics of Transition Systems. 455-469
Electronic Edition (link) BibTeX

Computational Models

Lukasz Kaiser:
Confluence of Right Ground Term Rewriting Systems Is Decidable. 470-489
Electronic Edition (link) BibTeX
Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong:
Safety Is not a Restriction at Level 2 for String Languages. 490-504
Electronic Edition (link) BibTeX
Abbas Edalat, André Lieutier, Dirk Pattinson:
A Computational Model for Multi-variable Differential Calculus. 505-519
Electronic Edition (link) BibTeX