Sciweavers

ZUM
2000
Springer
14 years 3 months ago
Segregation with Communication
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
David Cooper, Susan Stepney