A theory of may testing for actors

Authors:
Prasannaa Thati;Reza Ziaei;Gul Agha
Affiliations:
University of Illinois at Urbana-Champaign, IL;University of Illinois at Urbana-Champaign, IL;University of Illinois at Urbana-Champaign, IL
Venue:
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Year:
2002

Citing 9
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Algebraic theory of processes

Algebraic theory of processes
Composable Semantic Models for Actor Theories

Higher-Order and Symbolic Computation
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
On Asynchrony in Name-Passing Calculi

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Static safety analysis for non-uniform service availability in Actors

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A Theory of May Testing for Actors

A Theory of May Testing for Actors
An Algebra of Actors

An Algebra of Actors
A foundation for actor computation

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking techniques have been an effective means for finding subtle defects in hardware designs and communication protocols. The increased use of concurrent software in embedded applications and the widespread adoption of Java with its built-in ...