Media type: E-Article Title: The Analysis of Concurrent Systems: Towards the hierarchical, temporal logic, specification of concurrent systems Contributor: Barringer, Howard; Kuiper, Ruurd Published: Springer Berlin Heidelberg, 1985 Published in: The Analysis of Concurrent Systems (1985), Seite 157-183 Language: Not determined DOI: 10.1007/3-540-16047-7_45 ISBN: 9783540160472; 9783540397311 ISSN: 0302-9743; 1611-3349 Origination: Footnote: