Author:
Ábrahám Erika,Bonsangue Marcello M.,de Boer Frank S.,Grüner Andreas,Steffen Martin
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Monographs in Computer Science;M. Abadi,1996
2. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: Object connectivity and full abstraction for a concurrent calculus of classes. In: Li (ed.) [12], pp. 38–52
3. Abramsky, S.: Algorithmic game semantics: A tutorial introduction. In: Schichtenberg, Steinbruggen (eds.) [16], pp. 21–47
4. Lecture Notes in Computer Science,2005
5. de Boer, F.S., Bonsangue, M., Steffen, M., Ábrahám, E.: A fully abstract trace semantics for UML components. In: Bosangue, et al. (eds.) [4] (to appear)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game Semantic Analysis of Equivalence in IMJ;Automated Technology for Verification and Analysis;2015
2. Observable interface behaviour and inheritance;Mathematical Structures in Computer Science;2014-11-13
3. Game semantics for interface middleweight Java;ACM SIGPLAN Notices;2014-01-13
4. Game semantics for interface middleweight Java;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08
5. Abstract Interface Behavior of Object-Oriented Languages with Monitors;Theory of Computing Systems;2007-10-03