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, Volume 1

Front Cover
Springer Science & Business Media, Mar 11, 1998 - Computers - 287 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Generalizing Domain Theory
1
A Cooks Tour of Equational Axiomatizations for Prefix Iteration
20
The WHILE Hierarchy of Program Schemes Is Infinite
35
Analysis of a Guard Condition in Type Theory
48
Asymmetric Event Structures
63
Pumping Lemmas for Timed Automata
81
Asynchronous Observations of Processes
95
Two Applications Based on Enumerations by Graph Relabelling
110
The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations
172
Net Refinement by Fullback Rewriting
189
On Piecewise Testable Starfree and Recognizable Picture Languages
203
Functor Categories and TwoLevel Languages
211
Deciding Properties for Message Sequence Charts
226
The ChurchRosser Languages Are the Deterministic Variants of the Growing ContextSensitive Languages
243
Deterministic Rational Transducers and Random Sequences
258
Resource Based Models for Asynchrony
273

Partial Metrics and Cocontinuous Valuations
125
Mobile Ambients
140
Rational Term Rewriting
156

Other editions - View all

Common terms and phrases

Bibliographic information