Graphical modelling language for specifying concurrency based on CSP

IEE Proceedings: Software

Volumn 150, Issue 2 SPEC, 2003, Pages 108-120

  Hilderink, G H ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; CONCURRENCY CONTROL; OBJECT ORIENTED PROGRAMMING; SEQUENTIAL CIRCUITS;

GRAPHICAL MODELLING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0037995659     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20030132     Document Type: Conference Paper

References (15)

1. HOARE, C.A.R.: 'Communicating sequential processes' (Prentice-Hall, London, UK, 1985)
2. ROSCOE, A.W.: 'The theory and practice of concurrency' (Prentice-Hall, Hertfordshire, 1998)
3. WARD, P.T., and MELLOR, S.J.: 'Structured development techniques for real-time systems' (Prentice-Hall, Englewood Cliffs, NJ, 1985)
4. HATLEY, D.J., and PRIBHAI, I.A.: 'Strategies for real-time system specification' (Dorset House Publishing, New York, NY, 1987)
5. YOURDON, E.N.: 'Modern structured analysis' (Prentice Hall, Englewood Cliffs, NJ, 1989)
6. DOUGLASS, P.B.: 'Real-time UML: developing efficient objects for embedded systems' (Addison Wesley Longman, Inc., Reading, Massachusetts, 1998)
7. BOOCH, G., RUMBAUGH, J., et al.: The unified modeling language user guide' (Addison-Wesley, Reading, Massachusetts, USA, 1999)
8. DOUGLASS, B.P.: 'Doing hard timer: developing real-time systems with UML, objects, frameworks, and patterns' (Addison Wesley Longman, Inc., Reading, 1999)
9. ROSCOE, A.W.: 'Routing messages through networks: an exercise in deadlock avoidance'. 7th Occam User Group & International Workshop on Parallel programming of transputer based machines, 14-16 September, 1987, Grenoble, LGI-IMAG
10. JONES, G.: 'On Guards'. 7th Occam User Group & International Workshop on Parallel programming of transputer based machines, 14-16 September 1987, Grenoble, LGI-IMAG
11. PASCOE, J.S., WELCH, P.H., et al.: 'Communicating process architectures 2002'. Proceedings of Communicating Process Architectures, IOS Press, Reading, 15-18 September 2002
12. HILDERINK, G.H., BROENINK, J.F., et al.: 'Software design method for heterogeneous embedded systems'. Presented at 17th Benelux Meeting, 4-6 March 1998, Mierlo, NL
13. FDR, Formal Systems Ltd.: 'FDR2', http://www.formal.demon.co.uk/
14. HILDERINK, G.H.: 'Communicating Threads for Java (CTJ) home page', http://www.ce.utwente.nl/javapp, accessed 5 September 2002
15. WELCH, P.H., and AUSTIN, P.D.: 'The JCSP home page', http:// www.cs.ukc.ac.uk/projects/ofa/jcsp, accessed 5 September 2002