Research output per year
Research output per year
Search results
-
1993
Formal methods for actor systems: A progress report
Agha, G. A., 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Uniform co-scheduling using object-oriented design techniques
Islam, N. & Campbell, R., 1993, IFIP Transactions A: Computer Science and Technology. A-39 ed. Publ by Elsevier Science Publishers B.V., p. 317-328 12 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter