By the same authors

Segregation with Communication

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2000
Original languageUndefined/Unknown


We have developed a general definition of segregation in the context of Z system specifications. This definition is general enough to allow multi-way communications between otherwise segregated parties along defined channels. We have an abstract definition of segregation in terms of the traces allowed by systems, a concrete style of specification to ensure segregation (a generalisation of promotion that we call multi-promotion) and a proof that

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations