Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

  • Wolfgang Thomas
Conference proceedings FoSSaCS 1999

DOI: 10.1007/3-540-49019-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1578)

Table of contents (21 papers)

  1. Front Matter
    Pages I-X
  2. Security Protocols and Specifications
    Martín Abadi
    Pages 1-13
  3. Reasoning about Concurrent Systems Using Types
    Davide Sangiorgi
    Pages 31-40
  4. Testing Hennessy-Milner Logic with Recursion
    Luca Aceto, Anna Ingólfsdóttir
    Pages 41-55
  5. A Strong Logic Programming View for Static Embedded Implications
    R. Arruabarrena, P. Lucio, M. Navarro
    Pages 56-72
  6. Unfolding and Event Structure Semantics for Graph Grammars
    Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 73-89
  7. Expanding the Cube
    Gilles Barthe
    Pages 90-104
  8. Static Analysis of Processes for No Read-Up and No Write-Down
    Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Pages 120-134
  9. A WP-calculus for OO
    F. S de Boer
    Pages 135-140
  10. The Recognizability Problem for Tree Automata with Comparisons between Brothers
    Bruno Bogaert, Franck Seynhaeve, Sophie Tison
    Pages 150-164
  11. A Theory of “May” Testing for Asynchronous Languages
    Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Pages 165-179
  12. Categorical Models of Explicit Substitutions
    Neil Ghani, Valeria de Paiva, Eike Ritter
    Pages 197-211
  13. Equational Properties of Mobile Ambients
    Andrew D. Gordon, Luca Cardelli
    Pages 212-226
  14. Model Checking Logics for Communicating Sequential Agents
    Michaela Huhn, Peter Niebert, Frank Wallner
    Pages 227-242

About these proceedings


ALGOL Bisimulation Computational Structures Program Semantics Program Specification Programming Theory Simulation Software Engineering algorithm algorithms automata model checking programming semantics verification

Editors and affiliations

  • Wolfgang Thomas
    • 1
  1. 1.RWTH Aachen, Lehrstuhl für Informatik VIIAachenGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65719-4
  • Online ISBN 978-3-540-49019-7
  • Series Print ISSN 0302-9743