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
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
- Richard Banach: Locating the Contractum in the Double Pushout Approach. 305-320
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team