Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March/April 1998 : proceedings / Maurice Nivat (ed.).
| Author/creator | FoSSaCS (Conference) |
| Other author | Nivat, M. |
| Other author | International Joint Conference on Theory and Practice of Software Development (1998 : Lisbon, Portugal) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1998. |
| Description | x, 287 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1378 Lecture notes in computer science 1378. ^A466336 |
| Contents | Generalizing domain theory / Michael Mislove -- A cook's tour of equational axiomatizations for prefix iteration / Luca Aceto, Wan Fokkink, and Anna Ingólfsdóttir -- The WHILE hierarchy of program schemes is infinite / Can Adam Albayrak and Thomas Noll -- Analysis of a guard condition in type theory / Roberto M. Amadio and Solange Coupet-Grimal -- An event structure semantics of P/T contextual nets : asymmetric event structures / Paolo Baldan, Andrea Corradini, and Ugo Montanari -- Pumping lemmas for timed automata / Danièle Beauquier -- Asynchronous observations of processes / Michele Boreale, Rocco De Nicola, and Rosario Pugliese -- Minor searching, normal forms of graph relabelling : two applications based on enumerations by graph relabelling / Anne Bottreau and Yves Métivier -- Partial metrics and co-continuous valuations / Michael A. Bukatin and Svetlana Yu. Shorina -- Mobile ambients / Luca Cardelli and Andrew D. Gordon -- Rational term rewriting / Andrea Corradini and Fabio Gadducci -- The appearance of big integers in exact real arithmetic based on linear fractional transformations / Reinhold Heckmann -- Net refinement by pullback rewriting / Renate Klempien-Hinrichs -- On piecewise testable, starfree, and recognizable picture languages / Oliver Matz -- Functor categories and two-level languages / Eugenio Moggi -- Deciding properties for message sequence charts / Anca Muscholl, Doron Peled, and Zhendong Su -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages / Gundula Niemann and Friedrich Otto -- Deterministic rational transducers and random sequences / Sylvain Porrot ... [et al.] -- Resource based models for asynchrony / Julian Rathke. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 98014855 |
| ISBN | 3540643001 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.751 .F67 1998 | ✔ Available | Place Hold |