Frederick T. Sheldon;Krishna M. Kavi
-;-
Composing, analyzing and validating software models to assess the performability of competing design candidates
Annals of Software Engineering
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software