Author:
Valmari Antti,Setälä Manu
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Bochmann, G. v.: Usage of Protocol Development Tools: The Results of a Survey. Proceedings of the 7th International Symposium on Protocol Specification, Testing and Verification (1987), North-Holland 1988.
2. Bolognesi, T. & Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 1987 pp. 25–59. Also in: The Formal Description Technique LOTOS, North-Holland 1989, pp. 23–73.
3. Brookes, S. D. & Roscoe, A. W.: An Improved Failures Model for Communicating Processes. Proceedings of the NSF-SERC Seminar on Concurrency, Lecture Notes in Computer Science 197, Springer-Verlag, 1985, pp. 281–305.
4. Cheung, S. C. & Kramer, J.: Enhancing Compositional Reachability Analysis with Context Constraints. Proceedings of the first ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Software Engineering Notes, 18(5) 1993, pp. 115–125.
5. Craigen, D., Gerhart, S. & Ralston, T.: Formal Methods Reality Check: Industrial Usage. Proceedings of Formal Methods Europe '93, Lecture Notes in Computer Science 670, Springer-Verlag 1993, pp. 250–267.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Progress Checking for Dummies;Formal Methods for Industrial Critical Systems;2018
2. Modelling Without a Modelling Language;Model Checking Software;2018
3. Analysing Mutual Exclusion using Process Algebra with Signals;Electronic Proceedings in Theoretical Computer Science;2017-08-31
4. CCS: It’s not fair!;Acta Informatica;2015-03-19
5. External Behaviour of Systems of State Machines with Variables;Transactions on Petri Nets and Other Models of Concurrency VII;2013