Springer
M.M. Bonsangue (Marcello) , E.B. Johnsen (Einar Broch)
Lecture Notes in Computer Science
Coordination With Performance Guarantees
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Computer Security

Sun, M, & Arbab, F. (2007). On Resource-Sensitive Timed Component Connectors. In M.M Bonsangue & E.B Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems (pp. 301–316). Springer.