@inproceedings{PTN09:ICALP,
author = {R.~Pugliese and F.~Tiezzi and N.~Yoshida},
title = {On observing dynamic prioritised actions in {SOC}},
booktitle = {Proc. of 36th International Colloquium on Automata, Languages and Programming
(ICALP'09)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {558-570},
year = {2009},
}