Author:
Zeyda Frank,Santos Thiago,Cavalcanti Ana,Sampaio Augusto
Publisher
Springer International Publishing
Reference20 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)
2. Lecture Notes in Computer Science;M. Abadi,1997
3. Lecture Notes in Computer Science;A. Butterfield,2007
4. Cavalcanti, A., Wellings, A., Woodcock, J.: The Safety-Critical Java memory model formalised. Formal Aspects of Computing 25(1), 37–57 (2013)
5. Object Management Group. OMG Systems Modeling Language (OMG SysMLTM). Technical Report Version 1.3, OMG (June 2012)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deadlock-Free Verification of the SACI-1 OBC Using Circus Time Action and FDR;2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA);2024-05-19
2. Semantics Foundation for Cyber-physical Systems Using Higher-order UTP;ACM Transactions on Software Engineering and Methodology;2023-01-31
3. A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic;Unifying Theories of Programming;2019
4. CSP and Kripke Structures;Theoretical Aspects of Computing - ICTAC 2015;2015