Author:
Ábrahám Erika,Grabe Immo,Grüner Andreas,Steffen Martin
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference91 articles.
1. A Theory of Objects;Abadi,1996
2. E. Ábrahám, I. Grabe, A. Grüner, M. Steffen, Behavioral Interface Description of an Object-Oriented Language with Futures and Promises, Technical Report 364, University of Oslo, Dept. of Computer Science, October 2007.
3. E. Ábrahám, A. Grüner, and M. Steffen, Abstract interface behavior of object-oriented languages with monitors, in: R. Gorrieri, H. Wehrheim [49], pp. 218–232.
4. Abstract interface behavior of object-oriented languages with monitors;Ábrahám;Theory Comput. Syst.,2008
5. Heap-abstraction for open, object-oriented systems with thread classes;Ábrahám;J. Softw. Syst. Modell. (SoSyM),2008
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Assumption-Commitment Types for Resource Management in Virtually Timed Ambients;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
2. A Petri Net Based Modeling of Active Objects and Futures;Fundamenta Informaticae;2018-03-07
3. Forward to a Promising Future;Lecture Notes in Computer Science;2018
4. Towards a $$\mathbb {K}$$ K ool Future;Theory and Practice of Formal Methods;2016
5. Compositional reasoning about active objects with shared futures;Formal Aspects of Computing;2015-05