@inproceedings{ada960e085fd4026a95a953fa9c0d7af,
title = "Revisiting the concept of hypermedia document consistency",
abstract = "The paper generalizes previous works of the authors by revisiting the concept of temporal consistency of hypermedia documents. This generalization relies on the distinction of internal and external non-deterministic events.",
keywords = "formal verification, Hypermedia documents, internal and external non-determinism, RT-LOTOS, temporal consistency",
author = "Santos, \{C. A.S.\} and Sampaio, \{P. N.M.\} and Courtiat, \{J. P.\}",
note = "Publisher Copyright: {\textcopyright} 1999 ACM.; 7th ACM International Conference on Multimedia (Part 1), MULTIMEDIA 1999 ; Conference date: 30-10-1999 Through 05-11-1999",
year = "1999",
doi = "10.1145/319878.319927",
language = "Ingl{\'e}s",
series = "MULTIMEDIA 1999 - Proceedings of the 7th ACM International Conference on Multimedia (Part 1)",
publisher = "Association for Computing Machinery, Inc",
pages = "183--186",
booktitle = "MULTIMEDIA 1999 - Proceedings of the 7th ACM International Conference on Multimedia (Part 2)",
}