Theoretical Computer Science, Volume 216

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