[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - Analysing timed Rebeca using McErlang
Kristinsson, Haukur, Jafari, Ali, Khamespanah, Ehsan, Magnusson, Brynjar, Sirjani, MarjanYear:
2013
Language:
english
DOI:
10.1145/2541329.2541335
File:
PDF, 625 KB
english, 2013