event-based.org - Link Collection on Event-Based Computing

D. Garlan
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. In M. Bernardo and P. Inverardi, editors, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures (SFM 2003), volume 2804 of LNCS, pages 1‒24, Bertinoro, Italy, 2003.

D. Garlan, S. Khersonsky, and J. S. Kim
Model Checking Publish-Subscribe Systems. In Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon, USA, 2003.

J. Dingel, D. Garlan, S. Jha, and D. Notkin
Reasoning about Implicit Invocation. In Proceedings of of the 6th International Symposium on the Foundations of Software Engineering (FSE-6), pages 209‒221, Lake Buena Vista, FL, USA, Nov. 1998. ACM Press.

J. Dingel, D. Garlan, S. Jha, and D. Notkin
Towards a Formal Treatment of Implicit Invocation. Formal Aspects of Computing, 10:193‒213, 1998.

D. Garlan and C. Scott
Adding Implicit Invocation to Traditional Programming Languages. In V. R. Basili, R. A. DeMillo, and T. Katayama, editors, Proceedings of the 15th Intl. Conference on Software Engineering (ICSE '93), pages 447‒455, Baltimore, MD, USA, 1993. IEEE Computer Society Press / ACM Press.