4. FoSSaCS 2001:
Genova, Italy (Part of ETAPS 2001)
Furio Honsell, Marino Miculan (Eds.):
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings.
Lecture Notes in Computer Science 2030 Springer 2001, ISBN 3-540-41864-4 
Invited Paper
Contributed Papers
- Martín Abadi, Bruno Blanchet:
Secrecy Types for Asymmetric Communication.
25-41
- Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Axiomatizing Tropical Semirings.
42-56
- Gilles Barthe, Olivier Pons:
Type Isomorphisms and Proof Reuse in Dependent Type Theory.
57-71
- Michel Bidoit, Rolf Hennicker, Alexander Kurz:
On the Duality between Observability and Reachability.
72-87
- Mikolaj Bojanczyk:
The Finite Graph Problem for Two-Way Alternating Automata.
88-103
- Maria Grazia Buscemi, Vladimiro Sassone:
High-Level Petri Nets as Type Theories in the Join Calculus.
104-120
- Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages.
121-136
- Cristiano Calcagno, Peter W. O'Hearn:
On Garbage and Program Logic.
137-151
- Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
The Complexity of Model Checking Mobile Ambients.
152-167
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
The Rho Cube.
168-183
- Mario Coppo:
Type Inference with Recursive Type Equations.
184-198
- Irène Durand, Aart Middeldorp:
On the Modularity of Deciding Call-by-Need.
199-213
- Valérie Gouranton, Pierre Réty, Helmut Seidl:
Synchronized Tree Languages Revisited and New Applications.
214-229
- Annegret Habel, Detlef Plump:
Computational Completeness of Programming Languages Based on Graph Transformation.
230-245
- Masahito Hasegawa, Yoshihiko Kakutani:
Axioms for Recursion in Call-by-Value.
246-260
- Thomas P. Jensen, Fausto Spoto:
Class Analysis of Object-Oriented Programs through Abstract Interpretation.
261-275
- Valerie King, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Parity Word Automata.
276-286
- Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Foundations for a Graph-Based Approach to the Specification of Access Control Policies.
287-302
- Sava Krstic, John Launchbury, Dusko Pavlovic:
Categories of Processes Enriched in Final Coalgebras.
303-317
- François Laroussinie, Nicolas Markey, Ph. Schnoebelen:
Model Checking CTL+ and FCTL is Hard.
318-331
- Rémi Morin:
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.
332-346
- Tobias Nipkow:
Verified Bytecode Verifiers.
347-363
- Christine Röckl, Daniel Hirschkoff, Stefan Berghofer:
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.
364-378
- Colin Stirling:
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.
379-393
- Simone Tini:
An Axiomatic Semantics for the Synchronous Language Gentzen.
394-409
Tool Presentation
Last update Sat May 18 18:31:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
