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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/PlotkinP01
- ask others
Gordon D. Plotkin, John Power: Adequacy for Algebraic Effects. 1-24

Contributed Papers

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AbadiB01
- ask others
Martín Abadi, Bruno Blanchet: Secrecy Types for Asymmetric Communication. 25-41
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AcetoEI01
- ask others
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Axiomatizing Tropical Semirings. 42-56
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BartheP01
- ask others
Gilles Barthe, Olivier Pons: Type Isomorphisms and Proof Reuse in Dependent Type Theory. 57-71
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BidoitHK01
- ask others
Michel Bidoit, Rolf Hennicker, Alexander Kurz: On the Duality between Observability and Reachability. 72-87
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Bojanczyk01
- ask others
Mikolaj Bojanczyk: The Finite Graph Problem for Two-Way Alternating Automata. 88-103
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BuscemiS01
- ask others
Maria Grazia Buscemi, Vladimiro Sassone: High-Level Petri Nets as Type Theories in the Join Calculus. 104-120
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BusiGZ01
- ask others
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. 121-136
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/CalcagnoO01
- ask others
Cristiano Calcagno, Peter W. O'Hearn: On Garbage and Program Logic. 137-151
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/CharatonikDGMT01
- ask others
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. 152-167
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/CirsteaKL01
- ask others
Horatiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. 168-183
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Coppo01
- ask others
Mario Coppo: Type Inference with Recursive Type Equations. 184-198
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/DurandM01
- ask others
Irène Durand, Aart Middeldorp: On the Modularity of Deciding Call-by-Need. 199-213
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/GourantonRS01
- ask others
Valérie Gouranton, Pierre Réty, Helmut Seidl: Synchronized Tree Languages Revisited and New Applications. 214-229
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/HabelP01
- ask others
Annegret Habel, Detlef Plump: Computational Completeness of Programming Languages Based on Graph Transformation. 230-245
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/HasegawaK01
- ask others
Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. 246-260
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/JensenS01
- ask others
Thomas P. Jensen, Fausto Spoto: Class Analysis of Object-Oriented Programs through Abstract Interpretation. 261-275
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/KingKV01
- ask others
Valerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. 276-286
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/KochMP01
- ask others
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. 287-302
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/KrsticLP01
- ask others
Sava Krstic, John Launchbury, Dusko Pavlovic: Categories of Processes Enriched in Final Coalgebras. 303-317
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/LaroussinieMS01
- ask others
François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking CTL⁺ and FCTL is Hard. 318-331
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Morin01
- ask others
Rémi Morin: On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory. 332-346
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Nipkow01
- ask others
Tobias Nipkow: Verified Bytecode Verifiers. 347-363
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/RocklHB01
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Stirling01
- ask others
Colin Stirling: Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes. 379-393
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Tini01
- ask others
Simone Tini: An Axiomatic Semantics for the Synchronous Language Gentzen. 394-409

Tool Presentation

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AmbroiseABR01
- ask others
Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. 409-412