Towards a Connector Algebra

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_28 ◽

2010 ◽

pp. 278-292 ◽

Author(s):

Marco Autili ◽

Chris Chilton ◽

Paola Inverardi ◽

Marta Kwiatkowska ◽

Massimo Tivoli

Download Full-text