On Resource-Sensitive Timed Component Connectors

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_19 ◽

2007 ◽

pp. 301-316 ◽

Author(s):

Sun Meng ◽

Farhad Arbab

Download Full-text