Proceedings of the First International Conference on Foundations of Software Science and Computation Structures
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.