1. FoSSaCS 1998: Lisbon, Portugal (Part of ETAPS 1998)

@proceedings{DBLP:conf/fossacs/1998,
  editor    = {Maurice Nivat},
  title     = {Foundations of Software Science and Computation Structure, First
               International Conference, FoSSaCS'98, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'98,
               Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1378},
  year      = {1998},
  isbn      = {3-540-64300-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Michael W. Mislove:
  Generalizing Domain Theory. 1-19
  Electronic Edition (Springer LINK) BibTeX
• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir:
  A Cook's Tour of Equational Axiomatizations for Prefix Iteration. 20-34
  Electronic Edition (Springer LINK) BibTeX
• Can Adam Albayrak, Thomas Noll:
  The WHILE Hierarchy of Program Schemes Is Infinite. 35-47
  Electronic Edition (Springer LINK) BibTeX
• Roberto M. Amadio, Solange Coupet-Grimal:
  Analysis of a Guard Condition in Type Theory (Extended Abstract). 48-62
  Electronic Edition (Springer LINK) BibTeX
• Paolo Baldan, Andrea Corradini, Ugo Montanari:
  An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. 63-80
  Electronic Edition (Springer LINK) BibTeX
• Danièle Beauquier:
  Pumping Lemmas for Timed Automata. 81-94
  Electronic Edition (Springer LINK) BibTeX
• Michele Boreale, Rocco De Nicola, Rosario Pugliese:
  Asynchronous Observations of Processes. 95-109
  Electronic Edition (Springer LINK) BibTeX
• Anne Bottreau, Yves Métivier:
  Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. 110-124
  Electronic Edition (Springer LINK) BibTeX
• Michael A. Bukatin, Svetlana Yu. Shorina:
  Partial Metrics and Co-continuous Valuations. 125-139
  Electronic Edition (Springer LINK) BibTeX
• Luca Cardelli, Andrew D. Gordon:
  Mobile Ambients. 140-155
  Electronic Edition (Springer LINK) BibTeX
• Andrea Corradini, Fabio Gadducci:
  Rational Term Rewriting. 156-171
  Electronic Edition (Springer LINK) BibTeX
• Reinhold Heckmann:
  The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. 172-188
  Electronic Edition (Springer LINK) BibTeX
• Renate Klempien-Hinrichs:
  Net Refinement by Pullback Rewriting. 189-202
  Electronic Edition (Springer LINK) BibTeX
• Oliver Matz:
  On Piecewise Testable, Starfree, and Recognizable Picture Languages. 203-210
  Electronic Edition (Springer LINK) BibTeX
• Eugenio Moggi:
  Functor Categories and Two-Level Languages. 211-225
  Electronic Edition (Springer LINK) BibTeX
• Anca Muscholl, Doron Peled, Zhendong Su:
  Deciding Properties for Message Sequence Charts. 226-242
  Electronic Edition (Springer LINK) BibTeX
• Gundula Niemann, Friedrich Otto:
  The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. 243-257
  Electronic Edition (Springer LINK) BibTeX
• Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin:
  Deterministic Rational Transducers and Random Sequences. 258-272
  Electronic Edition (Springer LINK) BibTeX
• Julian Rathke:
  Resource Based Models for Asynchrony. 273-287
  Electronic Edition (Springer LINK) BibTeX