Prioritised service architecture

Concurrent Systems Engineering Series

Volumn 62, Issue , 2004, Pages 55-69

  East, Ian ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; NETWORK PROTOCOLS; SYSTEMS ENGINEERING;

SERVICE ARCHITECTURE; SERVICE NETWORKS; SERVICE PROTOCOLS; SYSTEM ABSTRACTION;

PROCESS ENGINEERING;

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

References (15)

1. 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.
2. A. W. Roscoe and N. Dathi. The pursuit of deadlock freedom. Technical Report PRG-57, Oxford University Computing Laboratory, 8-11, Keble Road, Oxford OX1 3QD, England, 1986.
3. Peter H. Welch, G. Justo, and Colin Willcock. High-level paradigms for deadlock-free high performance systems. In R. Grebe et al., editor, Transputer Applications and System '93, pages 981-1004. IOS Press, 1993.
4. Jeremy Martin, Ian East, and Sabah Jassim. Design rules for deadlock freedom. Transputer Communications, 2(3):121-133, 1994.
5. S. D. Brookes and A. W. Roscoe. Deadlock analysis in networks of communicating processes. Distributed Computing, 4:209-230, 1991.
6. 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.
7. Ian R. East. The Honeysuckle programming language: An overview. lEE Software, 150(2):95-107, 2003.
8. Per Brinch Hansen. Operating System Principles. Automatic Computation. Prentice Hall, 1973.
9. Jeremy M. R. Martin and Peter H. Welch. A design strategy for deadlock-free concurrent systems. Transputer Communications, 3(3):1-18, 1997.
10. C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall International, 1985.
11. Ian R. East. Towards a semantics for prioritised alternation. In East and Martin et al., editors, Communicating Process Architectures 2004, Series in Concurrent Systems Engineering. IOS Press, 2004.
12. A. W. Roscoe. The Theory and Practice of Concurrency. Series in Computer Science. Prentice-Hall, 1998.
13. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Component Software Series. Addison-Wesley, second edition, 2002.
14. Gottlob Frege. Über sinn und bedeuting (on sense and reference). Zeitschrift fr Philosophie und PhilosophischeKritik, 100:25-50, 1892.
15. 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.