Hard and Soft Priority in CSP
Authors: Lawrence, Adrian E.
Abstract:Parallel systems which include priority can experience conflicts when two concurrent processes assign different priorities to the same actions. There are at least two ways to resolve the difficulty: one is to halt; the other is to declare a draw and allocate all the offending actions the same priority. In CSPP these are called respectively hard and soft priority. Originally CSPP included only hard priority. Here we extend the language to include soft priority as well. The Acceptances semantics which is used to define CSPP does not require modification: it captures both soft and hard behaviours.
Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems, Barry M. Cook, 1999, pp 169 - 197 published by IOS Press, Amsterdam
This record in other formats:Web page: BibTEX, Refer
Plain text: BibTEX, Refer
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org