Information Technology Reference
In-Depth Information
28. Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)
29. Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)
30. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood
Cliffs (1997)
31. Tata Consultancy Services. MasterCraft, http://www.tata-mastercraft.com/
32. Zhou, C.C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information
Processing Letters 40(5), 269-276 (1991)
 
 
Previous Page
Next Page
Formal Methods and Hybrid Real-Time Systems
Search WWH ::




Custom Search
Home