Egidio Astesiano;Gianna Reggio
-;-
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development