Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property preserving simulations. In Proceedings of the Fourth Workshop on Computer Aided Verification, 1992.
2. Gerard Boudol and Ilaria Castellani. Permutations of transitions: an event structure semantics for CCS and SCCS. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models. Springer Verlag, 1989. Lecture Notes in Computer Science, volume 354.
3. Glenn Bruns. A case study in safety-critical design. In Proceedings of CAV '92, 1992.
4. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.
5. D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333–354, 1983
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献