• Computer Science
  • Published 1987

A FORMAL APPROACH TO DISTRIBUTED INFORMATION SYSTEMS

@inproceedings{Houben1987AFA,
  title={A FORMAL APPROACH TO DISTRIBUTED INFORMATION SYSTEMS},
  author={Gjpm Geert-Jan Houben and Jan Paredaens},
  year={1987}
}
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

The Partition of an Information System in Several Parallel Systems. Computing Science Notes 86/04

G. J. Houben. J. Paredaens, K. M. van Hee
  • Proceedings of lCDT '86
  • 1986

The Notions of Consistency and Predicate Locks in a Relational Database System

J. L. Traiger
  • Communications of the ACM
  • 1976