Logo eprints

On Observing Dynamic Prioritised Actions in SOC

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009)

PDF - Accepted Version
Download (146kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-02930-1_46
Additional Information: ©Springer-Verlag Berlin Heidelberg 2009. The original publication is available at www.springerlink.com
Funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004, and EPSRC GR/T03215, GR/T03208 and EP/F003757.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 15 Jun 2011 13:03
Last Modified: 11 Jul 2011 14:35
URI: http://eprints.imtlucca.it/id/eprint/405

Actions (login required)

Edit Item Edit Item