Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as Partial Specifications ... with PNs as Completions. In Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan, editors, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Volume 2067 of Lecture Notes in Computer Science, pages 125-152, Springer, 2000. [doi]
Abstract is missing.