| 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. |
|
Search 
Search 
Previous Item
Permanent Link
