Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FoSSaCS 1998: Lisbon, Portugal (Part of ETAPS 1998)
- Maurice Nivat:
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1378, Springer 1998, ISBN 3-540-64300-1 - Michael W. Mislove
:
Generalizing Domain Theory. 1-19 - Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Cook's Tour of Equational Axiomatizations for Prefix Iteration. 20-34 - Can Adam Albayrak, Thomas Noll:
The WHILE Hierarchy of Program Schemes Is Infinite. 35-47 - Roberto M. Amadio, Solange Coupet-Grimal:
Analysis of a Guard Condition in Type Theory (Extended Abstract). 48-62 - Paolo Baldan, Andrea Corradini, Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. 63-80 - Danièle Beauquier:
Pumping Lemmas for Timed Automata. 81-94 - Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Asynchronous Observations of Processes. 95-109 - Anne Bottreau, Yves Métivier:
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. 110-124 - Michael A. Bukatin, Svetlana Yu. Shorina:
Partial Metrics and Co-continuous Valuations. 125-139 - Luca Cardelli, Andrew D. Gordon:
Mobile Ambients. 140-155 - Andrea Corradini, Fabio Gadducci:
Rational Term Rewriting. 156-171 - Reinhold Heckmann:
The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. 172-188 - Renate Klempien-Hinrichs:
Net Refinement by Pullback Rewriting. 189-202 - Oliver Matz:
On Piecewise Testable, Starfree, and Recognizable Picture Languages. 203-210 - Eugenio Moggi:
Functor Categories and Two-Level Languages. 211-225 - Anca Muscholl, Doron A. Peled, Zhendong Su:
Deciding Properties for Message Sequence Charts. 226-242 - Gundula Niemann, Friedrich Otto:
The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. 243-257 - Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin:
Deterministic Rational Transducers and Random Sequences. 258-272 - Julian Rathke:
Resource Based Models for Asynchrony. 273-287
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
