Decidability Problems for Actor Systems

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_39 ◽

2012 ◽

pp. 562-577 ◽

Cited By ~ 3

Author(s):

Frank S. de Boer ◽

Mahdi M. Jaghoori ◽

Cosimo Laneve ◽

Gianluigi Zavattaro

Download Full-text