Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Mislove, Michael}, Generalizing domain theory, 1-19 [Zbl 0903.03021] \textit{Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna}, A Cook's tour of equational axiomatizations for prefix iteration, 20-34 [Zbl 0901.03027] \textit{Amadio, Roberto M.; Coupet-Grimal, Solange}, Analysis of a guard condition in type theory. (Extended abstract), 48-62 [Zbl 0922.03021] \textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo}, An event structure semantics for P/T contextual nets: Asymmetric event structures, 63-80 [Zbl 0902.68140] \textit{Beauquier, Danièle}, Pumping lemmas for timed automata, 81-94 [Zbl 0902.68129] \textit{Bukatin, Michael A.; Shorina, Svetlana Yu.}, Partial metrics and co-continuous valuations, 125-139 [Zbl 0945.06006] \textit{Corradini, A.; Gadducci, F.}, Rational term rewriting, 156-171 [Zbl 0908.68081] \textit{Heckmann, Reinhold}, The appearance of big integers in exact real arithmetic based on linear fractional transformations, 172-188 [Zbl 0905.65056] \textit{Klempien-Hinrichs, Renate}, Net refinement by pullback rewriting, 189-202 [Zbl 0901.68142] \textit{Moggi, E.}, Functor categories and two-level languages, 211-225 [Zbl 0904.03017] \textit{Niemann, Gundula; Otto, Friedrich}, The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages, 243-257 [Zbl 0908.68089]
scientific article; zbMATH DE number 1153128