The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis.

Rodger Burmeister, Steffen Helke

Browse the full TASE paper archive.