ASEP Publikace Modeling Unbounded Paralelism using Behavior Protocols (2005) Component Composition Errors and Update Atomicity: Static Analysis (2005) Static Checking for Missing Bindings of Components (2004) Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates (2002)
