Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007819615/catalog> ?p ?o. }

• catalog abstract "This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.".
• catalog contributor b10822330.
• catalog contributor b10822331.
• catalog contributor b10822332.
• catalog created "c1998.".
• catalog date "1998".
• catalog date "c1998.".
• catalog dateCopyrighted "c1998.".
• catalog description "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 [and others] -- Resource based models for asynchrony / Julian Rathke.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.".
• catalog extent "x, 287 p. :".
• catalog identifier "3540643001".
• catalog isPartOf "Lecture notes in computer science ; 1378".
• catalog issued "1998".
• catalog issued "c1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 21".
• catalog subject "Computer science.".
• catalog subject "Computer software Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA76.751 .F67 1998".
• catalog subject "Software engineering.".
• catalog subject "System analysis Congresses.".
• catalog tableOfContents "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 [and others] -- Resource based models for asynchrony / Julian Rathke.".
• catalog title "Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS ʾ98, Lisbon, Portugal, March/April 1998 : proceedings / Maurice Nivat (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".