Author:
Fournet Cédric,Laneve Cosimo,Maranget Luc,Rémy Didier
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference32 articles.
1. Research Directions in Concurrent Object-Oriented Programming;Agha,1993
2. Issues in the design of a parallel object-oriented language;America;Formal Aspects Comput.,1989
3. N. Benton, L. Cardelli, C. Fournet, Modern Concurrency Abstractions for C#, in: B. Magnusson (Ed.), ECOOP 2002 – Object Oriented Programming, Lecture Notes in Computer Science, Vol. 2374, Springer, Berlin, 2002, pp. 415–440
4. P. D. Blasio, K. Fisher, A calculus for concurrent objects, in: U. Montanari, V. Sassone (Eds.), Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’96), LNCS 1119, 1996, pp. 406–421
5. Mixin-based inheritance;Bracha,1990
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent Typestate-Oriented Programming in Java;Electronic Proceedings in Theoretical Computer Science;2019-04-02
2. A type checking algorithm for concurrent object protocols;Journal of Logical and Algebraic Methods in Programming;2018-11
3. Chemical foundations of distributed aspects;Distributed Computing;2018-06-07
4. The Chemical Approach to Typestate-Oriented Programming;ACM Transactions on Programming Languages and Systems;2017-09-30
5. The chemical approach to typestate-oriented programming;ACM SIGPLAN Notices;2015-12-18