6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Benjamin Lion, Farhad Arbab, Carolyn Talcott
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important…