Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Lecture Notes in Computer Science;B. Bollig,2004
3. Baudru, N., Morin, R.: Safe implementability of regular message sequence chart specifications. In: SNPD 2003, pp. 210–217. ACIS (2003)
4. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)
5. Caillaud, B., Darondeau, P., Hélouët, L., Lesventes, G.: HMSCs as partial specifications with PNs as completions. In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France (2000)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献