Author:
Ribeiro Pedro,Cavalcanti Ana,Woodcock Jim
Publisher
Springer International Publishing
Reference19 articles.
1. Prentice Hall International Series in Computer Science;CAR Hoare,1998
2. Roscoe, A.W.: Understanding Concurrent Systems. Springer, London (2010)
3. Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for Circus. Formal Aspects Comput. 21(1), 3–32 (2007)
4. Sherif, A., Cavalcanti, A.L.C., He, J., Sampaio, A.C.A.: A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22(2), 153–191 (2010)
5. Lecture Notes in Computer Science;K Wei,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Unary Semigroup Trace Algebra;Relational and Algebraic Methods in Computer Science;2020