251 search results - page 2 / 51 » Priority and Abstraction in Process Algebra |
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
CONCUR
2001
Springer
13 years 11 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
CONCUR
1995
Springer
13 years 10 months ago
1995
Springer