Author:
AGHA GUL A.,MASON IAN A.,SMITH SCOTT F.,TALCOTT CAROLYN L.
Abstract
We present an actor language which is an extension of a simple
functional language, and
provide an operational semantics for this extension. Actor configurations
represent open
distributed systems, by which we mean that the specification of an actor
system
explicitly
takes into account the interface with external components. We study the
composability of
such systems. We define and study various notions of testing equivalence
on
actor expressions
and configurations. The model we develop provides fairness. An important
result
is that the
three forms of equivalence, namely, convex, must, and may equivalences,
collapse
to two in
the presence of fairness. We further develop methods for proving laws of
equivalence and
provide example proofs to illustrate our methodology.
Publisher
Cambridge University Press (CUP)
Cited by
199 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Safety Verification of the Raft Leader Election Algorithm Using Athena;Communications in Computer and Information Science;2023-11-14
2. High-performance Deterministic Concurrency Using
Lingua Franca;ACM Transactions on Architecture and Code Optimization;2023-10-26
3. Deterministic Coordination Across Multiple Timelines;ACM Transactions on Embedded Computing Systems;2023-10-16
4. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
5. Decision-Making in the Face of Uncertainty;The Enterprise Engineering Series;2023