E. Astesiano;G. Reggio
-;-
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development