Search alternatives:
"actor" » "factor", "actors", "autor"
Cover Image
Read Now

1
Published 2022
Springer International Publishing
Table of Contents: “... Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations...”