Abstract PRET Machines.

Edward A. Lee, Jan Reineke, Michael Zimmer

Browse the full RTSS paper archive.