Affiliation:
1. Centrum Wiskunde & Informatica; Science Park 123 1098 XG Amsterdam Netherlands
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ASCOOP: Actors in Scala with Cooperative Scheduling;2018 IEEE International Conference on Computational Science and Engineering (CSE);2018-10
2. MULTI-ACTIVE OBJECTS AND THEIR APPLICATIONS;LOG METH COMPUT SCI;2017
3. A Unified and Formal Programming Model for Deltas and Traits;Fundamental Approaches to Software Engineering;2017
4. Advances in modelling and simulation for big-data applications (AMSBA);Concurrency and Computation: Practice and Experience;2016-01-09
5. Towards Incremental Validation of Railway Systems;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016