Author:
Albert Elvira,Gómez-Zamalloa Miguel,Rubio Albert,Sammartino Matteo,Silva Alexandra
Publisher
Springer International Publishing
Reference23 articles.
1. The ABS tool suite. http://abs-models.org
2. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
3. Lecture Notes in Computer Science;E Albert,2017
4. Albert, E., Gómez-Zamalloa, M., Isabel, M.: SYCO: a systematic testing tool for concurrent objects. In: CC, pp. 269–270 (2016)
5. Albert, E., Gómez-Zamalloa, M., Rubio, A., Sammartino, M., Silva, A.: SDN-Actors: Modeling and Verification of SDN Programs. Technical report (2018). http://costa.ls.fi.upm.es/papers/costa/AlbertGRSS18TR.pdf
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献