Markus Müller-Olm;Bernhard Steffen;Rance Cleaveland
-;-;-
Specification formalisms for component-based concurrent systems
ACM SIGSOFT Software Engineering Notes