Juanito Camilleri
-
The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Prioritized slotted-circus
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing