Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ZUM
2000
Springer

favoriteEmaildiscussreport

80views Formal Methods» more ZUM 2000»

Segregation with Communication

13 years 8 months ago

Segregation with Communication

Download www-users.cs.york.ac.uk

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 segregated parties ned channels. We have an abstract denition of segregation in terms of the traces allowed by systems, a concrete style of specication to ensure segregation (a generalisation of promotion called multi-promotion) and a proof that unconstrained multi-promotion is a sucient condition to ensure segregation.

David Cooper, Susan Stepney

Real-time Traffic

Formal Methods | General Denition | Multi-way Communications | Parties Ned Channels | ZUM 2000 |

claim paper

Related Content

» Automatically Segregating Greedy and Malicious Internet Flows

» OnDemand Channel Assignment Using Channel Segregation for Uplink DSCDMA MultiHop Virtual C...

» Segregation in swarms of mobile robots based on the Brazil nut effect

» Dynamic bandwidth allocation in multiclass connectionoriented networks

» Deeply embedded XML communication towards an interoperable and seamless world

» Discovering Packet Structure through Lightweight Hierarchical Clustering

» Spectral Analysis of TCP Flows for Defense Against ReductionofQuality Attacks

» On Statistical Multiplexing Traffic Mixes and VP Management

» Performance Monitoring of Ntier ClientServer Systems

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	2000
Where	ZUM
Authors	David Cooper, Susan Stepney

Comments (0)