@inproceedings{1f7de6f9a877493398f4b2283af387b9,
title = "A theory of may testing for actors",
abstract = "The Actor model and π-calculus have served as the basis of a large body of research on concurrency. We represent the Actor model as a typed asynchronous π-calculus, called Aπ. The type system imposes a certain discipline on the use of names to capture actor properties such as uniqueness and persistence. We investigate the notion of may testing in Aπ and give a trace based characterization of it. Such a characterization simplifies reasoning about actor configurations as it does not involve quantification over all environments. We compare our characterization with that of asynchronous π-calculus, and highlight the differences that arise due to actor properties.",
keywords = "Actors, Interaction paths, May testing, π-calculus",
author = "Prasannaa Thati and Reza Ziaei and Gul Agha",
note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; IFIP TC6 / WG6.1 5th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002 ; Conference date: 20-03-2002 Through 22-03-2002",
year = "2002",
doi = "10.1007/978-0-387-35496-5_11",
language = "English (US)",
isbn = "9781475752687",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer",
pages = "147--162",
booktitle = "Formal Methods for Open Object-Based Distributed Systems V - IFIP TC6 / WG6.1 5th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002",
address = "Germany",
}