Sören Holmström

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1989

3 Sören Holmström: A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. Formal Asp. Comput. 1(3): 242-272 (1989)

1988

2 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: 294-330

1 Annika Aasa, Sören Holmström, Christina Nilsson: An Efficiency Comparison of Some Representations of Purely Functional Arrays. BIT 28(3): 490-503 (1988)

	1989
3		Sören Holmström: A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. Formal Asp. Comput. 1(3): 242-272 (1989)
	1988
2		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: 294-330
1		Annika Aasa, Sören Holmström, Christina Nilsson: An Efficiency Comparison of Some Representations of Purely Functional Arrays. BIT 28(3): 490-503 (1988)

Coauthor Index

1 Annika Aasa [1]

2 Christina Nilsson [1]