@inproceedings{Ghasemi6871,
author = {Fatemeh Ghasemi and Marjan Sirjani and Ehsan Khamespanah and Mahrokh Mirani and Hossein Hojjat},
title = {Transparent Actor Model},
booktitle = {International Conference on Formal Methods in Software Engineering},
url = {http://www.es.mdu.se/publications/6871-}
}