Deciding Properties of Regular Real Time Processes. - Uno Holmer; Kim Guldstrand Larsen; Wang Yi 001 (CAV, 1991)

Interpreting Broadcast Communication in SCCS. - Uno Holmer (CONCUR, 1993)