Media type: E-Article Title: Lecture Notes in Computer Science: Towards a Refinement Calculus for Concurrent Real-Time Programs Contributor: Peuker, Sibylle; Hayes, Ian Published: Springer Berlin Heidelberg, 2002 Published in: Lecture Notes in Computer Science (2002), Seite 335-347 Language: English DOI: 10.1007/3-540-36103-0_35 ISBN: 9783540000297; 9783540361039 ISSN: 0302-9743 Origination: Footnote: