Return to home page
Searching: Otterbein library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference FoSSaCS (Conference) (1st : 1998 : Lisbon, Portugal)
Title 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 / M. Nivat (ed.).
Imprint Berlin : Springer, 1998.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference FoSSaCS (Conference) (1st : 1998 : Lisbon, Portugal)
Series Lecture notes in computer science, 0302-9743 ; 1378.
Lecture notes in computer science ; 1378. 0302-9743.
Subject Computer software -- Congresses.
System analysis -- Congresses.
Alt Name Nivat, M.
Ohio Library and Information Network.
ETAPS (Conference) (1st : 1998 : Lisbon, Portugal)
Description x, 287 pages : illustrations ; 24 cm.
Note Available electronically in PDF format to subscribers to Link, the information service of Springer Verlag.
Bibliography Note Includes bibliographical references.
Contents Generalizing domain theory / Michael Mislove -- A cook's tour of equational axiomatizations for prefix iteration / Luca Aceto, Wan Fokkink, and Anna Ingolfsdottir -- 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 / Daniele 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 Metivier -- 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 [and others] -- Resource based models for asynchrony / Julian Rathke.
Access Available to OhioLINK libraries
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web
ISBN 3540643001
9783540643005
OCLC # 648147741
Link OhioLINK electronic book center (OCoLC)180989150.
SpringerLink (OCoLC)43927870.
Additional Format FoSSaCS '98 (1998 : Lisbon, Portugal) 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 (OCoLC)38550685.


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team