LaTeX templates for:
Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
Tutorial of Mu.
The specification of Mu.
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.