eprintid: 405
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/04/05
datestamp: 2011-06-15 13:03:05
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 13:03:05
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_name: Yoshida, Nobuko
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
creators_id: 
title: On Observing Dynamic Prioritised Actions in SOC
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2009. The original publication is available at www.springerlink.com
abstract: 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. 
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5556
publisher: Springer
pagerange: 558-570
id_number: 10.1007/978-3-642-02930-1_46
refereed: TRUE
isbn: 978-3-642-02929-5
book_title: Automata, Languages and Programming (ICALP (2) 2009)
editors_name: Albers, Susanne
editors_name: Marchetti-Spaccamela, Alberto
editors_name: Matias, Yossi
editors_name: E. Nikoletseas, Sotiris
editors_name: Thomas, Wolfgang
official_url: http://dx.doi.org/10.1007/978-3-642-02930-1_46
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004, and EPSRC GR/T03215, GR/T03208 and EP/F003757.
citation:   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)  
document_url: http://eprints.imtlucca.it/405/1/PTY_bis4cows_2009b.pdf