Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Manfred Broy. Some algebraic and functional hocuspocus with ABRACADABRA. Technical Report MIP-8717, Fakultät für Mathematik und Informatik, Universität Passau, 1987. also in: Information and Software Technology 32, 1990, pp. 686–696.
2. Manfred Broy and Ingolf Krüger. Interaction Interfaces-Towards a scientific foundation of a methodological usage of Message Sequence Charts. In J. Staples, M. G. Hinchey, and Shaoying Liu, editors, Formal Engineering Methods (ICFEM’98), pages 2–15. IEEE Computer Society, 1998.
3. Manfred Broy and Ketil Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer New York, 2001. ISBN 0-387-95073-7.
4. K. Mani Chandy and Jayadev Misra. Parallel Program Design. A Foundation. Addison Wesley, 1988.
5. Werner Damm and David Harel. LSCs: Breathing Life into Message Sequence Charts. In FMOODS’99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献