Towards a semantics for prioritised alternation

Concurrent Systems Engineering Series

Volumn 62, Issue , 2004, Pages 253-263

  East, Ian ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; NETWORK PROTOCOLS; PROCESS ENGINEERING;

ASSEMBLY LANGUAGES; COMMUNICATING SEQUENTIAL PROCESSES (CSP); REACTIVE SYSTEMS; SEQUENTIAL LANGUAGES;

SEMANTICS;

EID: 4744355631     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (12)

1. Ian R. East. The Honeysuckle programming language: An overview. IEE Software, 150(2):95-107, 2003.
2. Per Brinch Hansen. Operating System Principles. Automatic Computation. Prentice Hall, 1973.
3. Jeremy M. R. Martin. The Design and Construction of Deadlock-Free Concurrent Systems. PhD thesis, University of Buckingham, Hunter Street, Buckingham, MK18 1EG, UK, 1996.
4. Ian R. East. Prioritised service architecture. In East and Martin et al., editors, Communicating Process Architectures 2004, Series in Concurrent Systems Engineering, pages 55-69. IOS Press, 2004.
5. C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall International, 1985.
6. Ian R. East. Programming prioritized alternation. In H. R. Arabnia, editor, Parallel and Distributed Processing: Techniques and Applications 2002, pages 531-537, Las Vegas, Nevada, USA, 2002. CSREA Press.
7. A. W. Roscoe. The Theory and Practice of Concurrency. Series in Computer Science. Prentice-Hall, 1998.
8. C. B. Jones. Wanted: A compositional model for concurrency. In Annabelle McIver and Carroll Morgan, editors, Programming Methodology, Monographs in Computer Science, pages 1-15. Springer-Verlag, 2003.
9. Steve Schneider. Concurrent and Real-Time Systems: The CSP Approach. Wiley, 2000.
10. Colin J. Fidge. A formal definition of priority in CSP. ACM Transactions on Programming Languages and Systems, 15(4):681-705, 1993.
11. Adrian E. Lawrence. Hard and soft priority in CSP. In Barry Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, Series in Concurrent Systems Engineering, pages 169-195. IOS Press, 1999.
12. Adrian E. Lawrence. Triples. In East and Martin et al., editors, Proceedings of Communicating Process Architectures 2004, Series in Concurrent Systems Engineering, pages 157-184. IOS Press, 2004.