Information Technology Reference
In-Depth Information
29. Plotkin, G.D.: A structural approach to operational semantics. The Journal of Logic and
Algebraic Programming 60-61, 17-139 (2004)
30. Schmidt, H.W., Chen, J.: Reasoning about concurrent objects. In: Asia-Pacific Software En-
gineering Conference, p. 86 (1995)
31. SCOOP website (2011),
http://scoop.origo.ethz.ch/
32. SGS-THOMSON Microelectronics Limited: occam 2.1 reference manual. Tech. rep., SGS-
THOMSON Microelectronics Limited (1995)
33. Torshizi, F., Ostroff, J.S., Paige, R.F., Chechik, M.: The SCOOP concurrency model in Java-
like languages. In: Communicating Process Architectures, pp. 155-178. IOS (2009)
Search WWH ::
Custom Search