Volume 152, Number 1, 11 December 1995
: The Meaning of Specifications I: Domains and Initial Models.
Volume 152, Number 2, 25 December 1995
: Probabilistic Communicating Processes.
, Alan Jeffrey
: A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours.
Rakesh M. Verma
: Transformations and Confluence for Rewrite Systems.
: Locating the Contractum in the Double Pushout Approach.