Exploiting Locality in Maintaining Potential Causality. - Sigurd Meldal; Sriram Sankar; James Vera (PODC, 1991)

Partial orderings of event sets and their application to prototyping concurrent, timed systems. - David C. Luckham; James Vera; Doug Bryan; Larry M. Augustin; Frank C. Belz (J. Syst. Softw., 1993)

Specification and Analysis of System Architecture Using Rapide. - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

Correction to "Specification and Analysis of System Architecture Using Rapide". - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

An Event-Based Architecture Definition Language. - David C. Luckham; James Vera (IEEE Trans. Software Eng., 1995)

Event-Based Execution Architectures for Dynamic Software Systems. - James Vera; Louis Perrochon; David C. Luckham (WICSA, 1999)