4. Metatheoretic Properties
Five metatheoretic properties are established for the mailbox actor
system (Section 5 of the paper). All proofs are fully machine-checked
with zero uses of sorry or admit.
Five metatheoretic properties are established for the mailbox actor
system (Section 5 of the paper). All proofs are fully machine-checked
with zero uses of sorry or admit.