Formal methods for actor systems: a progress report

By Gul Agha. In FORTE, volume C-10 of IFIP Transactions, 217–228. North-Holland, 1992.

BibTeX

@inproceedings{conf/forte/Agha92,
    author = "Agha, Gul",
    editor = "Diaz, Michel and Groz, Roland",
    title = "Formal methods for Actor systems: A progress report",
    booktitle = "FORTE",
    crossref = "conf/forte/1992",
    keywords = "formal methods",
    pages = "217-228",
    year = "1992",
}

@proceedings{conf/forte/1992,
    editor = "Diaz, Michel and Groz, Roland",
    title = "Formal Description Techniques, V, Proceedings of the IFIP
             TC6/WG6.1 Fifth International Conference on Formal Description
             Techniques for Distributed Systems and Communication Protocols,
             FORTE '92, Perros-Guirec, France, 13-16 October 1992",
    isbn = "0-444-89282-6",
    publisher = "North-Holland",
    series = "IFIP Transactions",
    volume = "C-10",
    year = "1993",
}