dblp.uni-trier.dewww.uni-trier.de

Sören Holmström

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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)

Coauthor Index

1Annika Aasa [1]
2Christina Nilsson [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)