A type checking algorithm for concurrent object protocols
Under an Elsevier user license
open archive
Keywords
Objective Join Calculus
Concurrent objects
Object protocols
Behavioral type checking
Type inference
Commutative Kleene Algebra
Cited by (0)
© 2018 Elsevier Inc.