<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On Observing Dynamic Prioritised Actions in SOC"^^ . "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. "^^ . "2009" . . "5556" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Nobuko"^^ . "Yoshida"^^ . "Nobuko Yoshida"^^ . . "Yossi"^^ . "Matias"^^ . "Yossi Matias"^^ . . "Alberto"^^ . "Marchetti-Spaccamela"^^ . "Alberto Marchetti-Spaccamela"^^ . . "Sotiris"^^ . "E. Nikoletseas"^^ . "Sotiris E. Nikoletseas"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Wolfgang"^^ . "Thomas"^^ . "Wolfgang Thomas"^^ . . "Susanne"^^ . "Albers"^^ . "Susanne Albers"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . . . "On Observing Dynamic Prioritised Actions in SOC (PDF)"^^ . . . . . . . . . . . "PTY_bis4cows_2009b.pdf"^^ . . . "On Observing Dynamic Prioritised Actions in SOC (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "On Observing Dynamic Prioritised Actions in SOC (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #405 \n\nOn Observing Dynamic Prioritised Actions in SOC\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .