TY  - CHAP
N1  - ©Springer-Verlag Berlin Heidelberg 2009. The original publication is available at www.springerlink.com
AV  - public
TI  - On Observing Dynamic Prioritised Actions in SOC
SP  - 558
T3  - Lecture Notes in Computer Science
UR  - http://dx.doi.org/10.1007/978-3-642-02930-1_46
M1  - 5556
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
A1  - Yoshida, Nobuko
Y1  - 2009///
ED  - Albers, Susanne
ED  - Marchetti-Spaccamela, Alberto
ED  - Matias, Yossi
ED  - E. Nikoletseas, Sotiris
ED  - Thomas, Wolfgang
SN  - 978-3-642-02929-5
ID  - eprints405
EP  - 570
N2  - We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide alternative characterisations in terms of open barbed bisimilarities. These semantics show that COWS?s priority mechanisms partially recover the capability to observe receive actions (that could not be observed in a purely asynchronous setting) and that high priority primitives for termination impose specific conditions on the bisimilarities. 
PB  - Springer
T2  - Automata, Languages and Programming (ICALP (2) 2009)
ER  -