Theoretical Computer Science, Volume 152

Volume 152, Number 1, 11 December 1995

• Daniel Fredholm:
  Intensional Aspects of Function Definitions. 1-66
  Electronic Edition (link) BibTeX
• Wilfried Hodges:
  The Meaning of Specifications I: Domains and Initial Models. 67-89
  Electronic Edition (link) BibTeX
• Egidio Astesiano, Maura Cerioli:
  Free Objects and Equational Deduction for Partial Conditional Specifications. 91-138
  Electronic Edition (link) BibTeX
• Masahito Kurihara, Azuma Ohuchi:
  Modularity in Noncopying Term Rewriting. 139-169
  Electronic Edition (link) BibTeX

Volume 152, Number 2, 25 December 1995

• Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
  A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. 171-217
  Electronic Edition (link) BibTeX
• Karen Seidel:
  Probabilistic Communicating Processes. 219-249
  Electronic Edition (link) BibTeX
• Luca Aceto, Alan Jeffrey:
  A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. 251-268
  Electronic Edition (link) BibTeX
• Rakesh M. Verma:
  Transformations and Confluence for Rewrite Systems. 269-283
  Electronic Edition (link) BibTeX
• Paola Inverardi, Monica Nesi:
  Infinite Normal Forms for Non-Linear Term Rewritting Systems. 285-303
  Electronic Edition (link) BibTeX
• Richard Banach:
  Locating the Contractum in the Double Pushout Approach. 305-320
  Electronic Edition (link) BibTeX