1. Carlos A. Varela, Manish Parashar, and Gul Agha, editors. 5th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2012, Chicago, IL, USA, November 5-8, 2012, 2012. IEEE. Keyword(s): distributed computing, cloud computing. [bibtex-entry]

1. Saswata Paul, Elkin Cruz, Airin Dutta, Ankita Bhaumik, Erik Blasch, Gul Agha, Stacy Patterson, Fotis Kopsaftopoulos, and Carlos Varela. Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine, 38(5):72-88, 2023. Keyword(s): theorem proving, runtime verification, stochastic systems, distributed systems. [Abstract] [bibtex-entry]



2. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Eventual Consensus in Synod: Verification using a Failure-Aware Actor Model. Innovations in Systems and Software Engineering - A NASA Journal, 2022. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



3. Gul Agha and Carlos A. Varela. Worldwide Computing Middleware. In M. Singh, editor, Practical Handbook on Internet Computing. CRC Press, 2004. Note: Invited book chapter. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



4. Carlos A. Varela and Gul Agha. Programming Dynamically Reconfigurable Open Systems with SALSA. ACM SIGPLAN Notices. OOPSLA'2001 Intriguing Technology Track Proceedings, 36(12):20-34, December 2001. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]



5. G. Agha, N. Jamali, and C. A. Varela. Agent Naming and Coordination: Actor Based Models and Infrastructures. In A. Ominici, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents, chapter 9, pages 225-248. Springer-Verlag, 2001. Note: Invited book chapter. Keyword(s): distributed computing, concurrent programming, coordination models, software agents. [Abstract] [bibtex-entry]



6. C. Varela and G. Agha. What after Java? From Objects to Actors. Computer Networks and ISDN Systems: The International J. of Computer Telecommunications and Networking, 30:573-577, April 1998. Note: Proceedings of the Seventh International Conference on The World Wide Web (WWW7), Brisbane, Australia. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]

1. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. In NASA Formal Methods, Cham, pages 249-267, 2021. Springer International Publishing. ISBN: 978-3-030-76384-8. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



2. C. Varela and G. Agha. A Hierarchical Model for Coordination of Concurrent Activities. In P. Ciancarini and A. Wolf, editors, Third International Conference on Coordination Languages and Models (COORDINATION '99), LNCS 1594, Berlin, pages 166-182, April 1999. Springer-Verlag. Keyword(s): concurrent programming, coordination models. [Abstract] [bibtex-entry]



3. G. Agha, M. Astley, J. Sheikh, and C. A. Varela. Modular Heterogeneous System Development: A Critical Analysis of Java. In J. Antonio, editor, Proceedings of the Seventh Heterogeneous Computing Workshop (HCW '98), pages 144-155, March 1998. IEEE Computer Society. Keyword(s): distributed computing, internet programming languages, concurrent programming, coordination models. [Abstract] [bibtex-entry]

1. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. Technical report, Rensselaer Polytechnic Institute, Department of Computer Science, 2021. Note: This report is an extended version of the NASA Formal Methods Symposium 2021 proceedings paper. Keyword(s): Synod, Paxos, actor model, formal verification, distributed computing, distributed systems, Athena, formal verification, Athena, distributed systems, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



2. C. A. Varela, G. Agha, W. Wang, T. Desell, K. E. Maghraoui, J. LaPorte, and A. Stephens. The SALSA Programming Language: 1.1.2 Release Tutorial. Technical report 07-12, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]

1. C. Varela and G. Agha. Linguistic Support for Actors, First-Class Token-Passing Continuations and Join Continuations. Proceedings of the Midwest Society for Programming Languages and Systems Workshop, October 1999. Keyword(s): concurrent programming, internet programming languages. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html