Theoretical Computer Science, Volume 152

Volume 152, Number 1, 11 December 1995

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

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
  
• Karen Seidel:
  Probabilistic Communicating Processes. 219-249
  
• Luca Aceto, Alan Jeffrey:
  A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. 251-268
  
• Rakesh M. Verma:
  Transformations and Confluence for Rewrite Systems. 269-283
  
• Paola Inverardi, Monica Nesi:
  Infinite Normal Forms for Non-Linear Term Rewritting Systems. 285-303
  
• Richard Banach:
  Locating the Contractum in the Double Pushout Approach. 305-320