Author:
Esmaeilsabzali Shahram,Day Nancy A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Transactions on Software Engineering 29(7), 623–633 (2003)
2. Lecture Notes in Computer Science;M. Beeck von der,1994
3. Berry, G.: The constructive semantics of pure Esterel draft version 3 (1999),
http://www-sop.inria.fr/esterel.org/
4. Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
5. Brzozowski, J.A., Zhang, H.: Delay-insensitivity and semi-modularity. Formal Methods in System Design 16(2), 191–218 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献