Author:
Baudru Nicolas,Morin Rémi
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Lecture Notes in Computer Science;R. Alur,1999
3. Baudru, N., Morin, R.: Safe Implementability of Regular Message Sequence Charts Specifications. In: Proc. of the ACIS 4th Int. Conf. SNDP 2003, pp. 210–217 (2003)
4. Lecture Notes in Computer Science;B. Bollig,2002
5. Lecture Notes in Computer Science;B. Caillaud,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Synthesis Problem of Netcharts;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006
2. Message Sequence Charts;Formal Models of Communicating Systems