Maurice Nivat
Proceedings of the First International Conference on Foundations of Software Science and Computation Structures
FoSSaCS, 1998.

@proceedings{FoSSaCS-1998,
	address       = "Lisbon, Portugal",
	editor        = "Maurice Nivat",
	isbn          = "3-540-64300-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Conference on Foundations of Software Science and Computation Structures}",
	volume        = 1378,
	year          = 1998,
}

Contents (19 items)

FoSSaCS-1998-Mislove

Generalizing Domain Theory (MWM), pp. 1–19.

FoSSaCS-1998-AcetoFI #axiom #equation

A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.

FoSSaCS-1998-AlbayrakN #infinity

The WHILE Hierarchy of Program Schemes Is Infinite (CAA, TN), pp. 35–47.

FoSSaCS-1998-AmadioC #analysis #type system

Analysis of a Guard Condition in Type Theory (RMA, SCG), pp. 48–62.

FoSSaCS-1998-BaldanCM #semantics #symmetry

An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.

FoSSaCS-1998-Beauquier #automaton

Pumping Lemmas for Timed Automata (DB), pp. 81–94.

FoSSaCS-1998-BorealeNP #process

Asynchronous Observations of Processes (MB, RDN, RP), pp. 95–109.

FoSSaCS-1998-BottreauM #graph #normalisation

Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.

FoSSaCS-1998-BukatinS #metric

Partial Metrics and Co-continuous Valuations (MAB, SYS), pp. 125–139.

FoSSaCS-1998-CardelliG #mobile

Mobile Ambients (LC, ADG), pp. 140–155.

FoSSaCS-1998-CorradiniG #term rewriting

Rational Term Rewriting (AC, FG), pp. 156–171.

FoSSaCS-1998-Heckmann #integer #linear

The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations (RH), pp. 172–188.

FoSSaCS-1998-Klempien-Hinrichs #refinement

Net Refinement by Pullback Rewriting (RKH), pp. 189–202.

FoSSaCS-1998-Matz #on the

On Piecewise Testable, Starfree, and Recognizable Picture Languages (OM), pp. 203–210.

FoSSaCS-1998-Moggi #category theory

Functor Categories and Two-Level Languages (EM), pp. 211–225.

FoSSaCS-1998-MuschollPS #sequence chart

Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.

FoSSaCS-1998-NiemannO #context-sensitive grammar

The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages (GN, FO), pp. 243–257.

FoSSaCS-1998-PorrotDDV #random #sequence #transducer

Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.

FoSSaCS-1998-Rathke #modelling

Resource Based Models for Asynchrony (JR), pp. 273–287.