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

Research Output 1985 2019

Filter
Chapter
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
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
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
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