Вы здесь

Agha G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware 2001 Venkatasubramanian N., Telkott C., Agha G. Lecture Notes in Computer Science 06.04.2001
СТ A Hierarchical Model for Coordination of Concurrent Activities 1999 Valera C., Agha G. Lecture Notes in Computer Science 18.05.1999
СТ A Language Framework for Multi-Object Coordination 1993 Frolund S., Agha G. Lecture Notes in Computer Science 15.09.1993
СТ A Reflective Model of Inheritance 1992 Jagannathan S., Agha G. Lecture Notes in Computer Science 25.07.1992
СТ Abstracting Interactions Based on Message Sets 1995 Frolund S., Agha G. Lecture Notes in Computer Science Object-Based Models and Languages for Concurrent Systems 30.08.1995
СТ ActorSpace: An Open Distributed Programming Paradigm 1993 Agha G., Callsen C. J. SIGPLAN Notices 06.09.1993
СТ An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language 2004 Agha G., Thati P. Lecture Notes in Computer Science 27.04.2004
СТ Compilation of a Highly Parallel Actor-Based Language 1993 Kim W., Agha G. Lecture Notes in Computer Science 24.03.1994
СТ Generating Optimal Linear Temporal Logic Monitors by Coinduction 2003 Sen K., Rosu G., Agha G. Lecture Notes in Computer Science 14.01.2004
СТ Learning to Verify Safety Properties 2004 Vardhan A., Sen K., Viswanathan M., Agha G. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains 2004 Kwon Y. M., Agha G. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ Online Efficient Predictive Safety Analysis of Multithreaded Programs 2004 Sen K., Rosu G., Agha G. Lecture Notes in Computer Science 15.05.2004
СТ Scalable Distributed Garbage Collection for Systems of Active Objects 1992 Venkatasubramanian N., Agha G., Talcott C. Lecture Notes in Computer Science 20.10.1992
СТ SynchNet: A Petri Net Based Coordination Language for Distributed Objects 2003 Ziaei R., Agha G. Lecture Notes in Computer Science 27.11.2003
СТ Towards a Theory of Actor Computation 1992 Agha G., Mason I. A., Smith S., Talcott C. Lecture Notes in Computer Science 20.10.1992