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

1
Published 2020
Springer International Publishing
Table of Contents: “... (Track Summary) -- Step-wise Development of Provably Correct Actor Systems -- Violation Witnesses...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”