If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Chapter
1992

Distributed execution of actor programs

Agha, G. A., Houck, C. & Panwar, R., 1992, Languages and Compilers for Parallel Computing: LCPC 1991. U, B., D, G., A, N. & D, P. (eds.). Berlin: Springer Berlin, (Lecture Notes in Computer Science; vol. 589).

Research output: Chapter in Book/Report/Conference proceedingChapter

High level languages
Computer programming languages
1993

Formal methods for actor systems: A progress report

Agha, G. A., Dec 1 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 proceedingChapter

Formal methods
Object oriented programming
Large scale systems
2004

Worldwide computing middleware

Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer applications
Fault tolerance
Middleware
Resource allocation
Internet
2018

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Agha, G. A. & Palmskog, K., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 16-37 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Concurrency
Thread
Trace
Data storage equipment
Message passing
2019

Types for progress in actor programs

Charalambides, M., Palmskog, K. & Agha, G. A., Jan 1 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Message passing
Liveness
Requirements
Message Passing
Type Systems