Sören Holmström

Publication Activity (10 Years)

Years Active: 1988-1989
Publications (10 Years): 0

Publications

Sören Holmström
A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. Formal Aspects Comput. 1 (3) (1989)
Sören Holmström
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. Specification and Verification of Concurrent Systems (1988)
Annika Aasa, Sören Holmström, Christina Nilsson
An Efficiency Comparison of Some Representations of Purely Functional Arrays. BIT 28 (3) (1988)