bestow-atomic software on GitHub

Software OPEN SOURCE

Mechanized formalizations of actor calculi using bestowed objects and atomic messages
Share - Bookmark