A foundation for actor computation 论文

1997Journal of Functional Programming引用 451
DOIPDF
Formal Methods in VerificationLogic, programming, and type systemsDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

A foundation for actor computation · 作者

C

Carolyn Talcott

S

Scott F. Smith

I

Ian A. Mason

G

Gul Agha