The Extended UTXO Model
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
Topics & Concepts
Computer sciencePetri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling