CCS with priority guards
File(s)DTR00-12.pdf (124.2 KB)
Technical report
Author(s)
Phillips, Iain
Type
Report
Abstract
It has long been recognised that ordinary process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of "priority guards" to the summation operator of Milner's process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assigned fixed levels, so that the same action can have different priority depending where it appears in a program. An important feature is that, unlike in other unstratified accounts of priority in CCS (such as that of Camilleri and Winskel), we can treat inputs and outputs symmetrically. We introduce the new calculus, give examples, develop its theory (including bisimulation, equational laws and logics), and compare it with existing approaches.
Date Issued
2000-01-01
Citation
Departmental Technical Report: 2000/12, 2000, pp.1-17
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
17
Journal / Book Title
Departmental Technical Report: 2000/12
Copyright Statement
© 2000 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published