Volume 216, Numbers 1-2, 6 March 1999
- Antonio Cerone, Andrea Maggiolo-Schettini:
Time-Based Expressivity of Time Petri Nets for System Specification.
1-53
- William Ferreira, Matthew Hennessy:
A Behavioural Theory of First-Order CML.
55-107
- Elena Zucca:
From Static to Dynamic Abstract Data-Types: An Institution Transformation.
109-157
- Roberto Giacobazzi, Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains.
159-211
- Cui Zhang, Ronald A. Olsson, Karl N. Levitt:
Formal Verification of a Programming Logic for a Distributed Programming Language.
213-235
- Pierpaolo Degano, Corrado Priami:
Non-Interleaving Semantics for Mobile Processes.
237-270
- Francesca Levi:
A Compositional µ-Calculus Proof System for Statecharts Processes.
271-310
- Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente:
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach.
311-362
- Manfred Schmidt-Schauß:
Decidability of Behavioural Equivalence in Unary PCF.
363-373
- K. Rustan M. Leino, Rajit Manohar:
Joining Specification Statements.
375-394
- Mingsheng Ying:
A Shorter Proof to Uniqueness of Solutions of Equations.
395-397
Last update Sat May 25 16:54:55 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
