Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn. AsmL Specification of a Ptolemy II Scheduler. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 417, Springer, 2003. [doi]
Abstract is missing.