relation: http://eprints.imtlucca.it/405/
title: On Observing Dynamic Prioritised Actions in SOC
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
creator: Yoshida, Nobuko
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Albers, Susanne
contributor: Marchetti-Spaccamela, Alberto
contributor: Matias, Yossi
contributor: E. Nikoletseas, Sotiris
contributor: Thomas, Wolfgang
date: 2009
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/405/1/PTY_bis4cows_2009b.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-02930-1_46
relation: 10.1007/978-3-642-02930-1_46