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