Found 1 document(s)
Page 1 of 1
-
We propose a compositional specification theory for reason- ing about components that interact by synchronisation of input and out- put (I/O) actions, in which the specification of a component constrains the temporal ord...