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 28 - April 4, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Nivat, Maurice (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1378
• Subjects: Software engineering.; Computers.; Computer logic.; Mathematical logic.; Programming languages (Electronic computers).; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Computation by Abstract Devices.

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/Apr...

Table of Contents:

• Generalizing domain theory
• A cook's tour of equational axiomatizations for prefix iteration
• The WHILE hierarchy of program schemes is infinite
• Analysis of a guard condition in type theory
• An event structure semantics for P/T contextual nets: Asymmetric event structures
• Pumping Lemmas for timed automata
• Asynchronous Observations of Processes
• Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling
• Partial metrics and co-continuous valuations
• Mobile ambients
• Rational term rewriting
• The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations
• Net refinement by pullback rewriting
• On piecewise testable, starfree, and recognizable picture languages
• Functor categories and two-level languages
• Deciding properties for message sequence charts
• The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
• Deterministic rational transducers and random sequences
• Resource based models for asynchrony.