DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action system...