CONCUR   2012 Seminar on Concurrency
Wall of Fame | Most Viewed CONCUR-2012 Paper
8 years 8 months ago
Decidability Problems for Actor Systems
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
Frank S. de Boer, Mahdi Mahdi Jaghoori, Cosimo Lan...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source293
2Download preprint from source274
3Download preprint from source238
4Download preprint from source236
5Download preprint from source227
6Download preprint from source226