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.
Author(s): Michael Mislove (auth.), Maurice Nivat (eds.)
Series: Lecture Notes in Computer Science 1378
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 297
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Software Engineering
Generalizing domain theory....Pages 1-19
A cook's tour of equational axiomatizations for prefix iteration....Pages 20-34
The WHILE hierarchy of program schemes is infinite....Pages 35-47
Analysis of a guard condition in type theory....Pages 48-62
An event structure semantics for P/T contextual nets: Asymmetric event structures....Pages 63-80
Pumping Lemmas for timed automata....Pages 81-94
Asynchronous Observations of Processes....Pages 95-109
Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling....Pages 110-124
Partial metrics and co-continuous valuations....Pages 125-139
Mobile ambients....Pages 140-155
Rational term rewriting....Pages 156-171
The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations....Pages 172-188
Net refinement by pullback rewriting....Pages 189-202
On piecewise testable, starfree, and recognizable picture languages....Pages 203-210
Functor categories and two-level languages....Pages 211-225
Deciding properties for message sequence charts....Pages 226-242
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages....Pages 243-257
Deterministic rational transducers and random sequences....Pages 258-272
Resource based models for asynchrony....Pages 273-287
