On Observing Dynamic Prioritised Actions in SOC

DOI10.1007/978-3-642-02930-1_46MaRDI QIDQ5321686zbMATH OpenOpenAlexWikidataFDO

Authors Francesco Tiezzi, Nobuko Yoshida, Rosario Pugliese

Publication date 14 July 2009

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL http://eprints.imtlucca.it/405/1/PTY_bis4cows_2009b.pdf

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Recommendations

• Priority and abstraction in process algebra
• Priorities in process algebras
• Priority in process algebra.
• scientific article; zbMATH DE number 1863171
• A process algebra with distributed priorities

Cited in

(1)

• A formal approach to the engineering of domain-specific distributed systems

Describes a project that uses

Uses Software

• COWS

This page was built for publication: On Observing Dynamic Prioritised Actions in SOC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5321686)