13. WADT 1998: Lisbon, Portugal

@proceedings{DBLP:conf/wadt/1998,
  editor    = {Jos{\'e} Luiz Fiadeiro},
  title     = {Recent Trends in Algebraic Development Techniques, 13th International
               Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected
               Papers},
  booktitle = {WADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1589},
  year      = {1999},
  isbn      = {3-540-66246-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Davide Ancona:
  An Algebraic Framework for Separate Type-Checking. 1-15
  Electronic Edition (Springer LINK) BibTeX
• Tomasz Borzyszkowski:
  Moving Specification Structures Between Logical Systems. 16-30
  Electronic Edition (Springer LINK) BibTeX
• Roberto Bruni, Fabio Gadducci, Ugo Montanari:
  Normal Forms for Partitions and Relations. 31-47
  Electronic Edition (Springer LINK) BibTeX
• Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas:
  Parameterisation of Logics. 48-62
  Electronic Edition (Springer LINK) BibTeX
• Corina Cîrstea:
  Semantic Constructions for Hidden Algebra. 63-78
  Electronic Edition (Springer LINK) BibTeX
• Andrea Corradini, Fabio Gadducci:
  Functorial Semantics for Multi-algebras. 79-91
  Electronic Edition (Springer LINK) BibTeX
• Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
  An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. 92-106
  Electronic Edition (Springer LINK) BibTeX
• Sophie Coudert, Gilles Bernot, Pascale Le Gall:
  Hierarchical Heterogeneous Specifications. 107-121
  Electronic Edition (Springer LINK) BibTeX
• Rachid Echahed, Jean-Christophe Janodet:
  Parallel Admissible Graph Rewriting. 122-137
  Electronic Edition (Springer LINK) BibTeX
• Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
  Refinements and Modules for Typed Graph Transformation Systems. 138-151
  Electronic Edition (Springer LINK) BibTeX
• Annegret Habel, Detlef Plump:
  Complete Strategies for Term Graph Narrowing. 152-167
  Electronic Edition (Springer LINK) BibTeX
• Hélène Kirchner, Pierre-Etienne Moreau:
  Non-deterministic Computations in ELAN. 168-182
  Electronic Edition (Springer LINK) BibTeX
• Beata Konikowska:
  Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. 183-197
  Electronic Edition (Springer LINK) BibTeX
• Till Mossakowski:
  Translationg OBJ3 into CASL: The Institution Level. 198-215
  Electronic Edition (Springer LINK) BibTeX
• Peter D. Mosses:
  CASL: A Guided Tour of Its Design. 216-240
  Electronic Edition (Springer LINK) BibTeX
• Julia Padberg:
  Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. 241-260
  Electronic Edition (Springer LINK) BibTeX
• Isabel Pita, Narciso Martí-Oliet:
  Using Reflection to Specify Transaction Sequences in Rewriting Logic. 261-276
  Electronic Edition (Springer LINK) BibTeX
• Pascal Poizat, Christine Choppy, Jean-Claude Royer:
  Concurrency and Data Types: A Specification Method: An Example with LOTOS. 277-292
  Electronic Edition (Springer LINK) BibTeX
• Jaime Ramos, Amílcar Sernadas:
  The Situation and State Calculus versus Branching Temporal Logic. 293-309
  Electronic Edition (Springer LINK) BibTeX
• Pedro Resende:
  Modular Specification of Concurrent Systems with Observational Logic. 310-325
  Electronic Edition (Springer LINK) BibTeX
• Martin Wirsing, John N. Crossley, Hannes Peterreins:
  Proof Normalization of Structured Algebraic Specifications Is Convergent. 326-340
  Electronic Edition (Springer LINK) BibTeX