A Linguistic Framework for Dynamic Composition of Dependability Protocols (1993)

by G Agha, S Frolund, R Panwar, D Sturman
Venue:IEEE ICPADS