{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:31:42Z","timestamp":1648981902082},"reference-count":5,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[1999,9]]},"abstract":"<jats:p> In this paper, we introduce an observation relation as an abstraction of point-to-point communication in distributed architectures. After showing how its semantics and syntax can be embedded within the UNITY approach, we state general observation properties. Finally, we consider the description and the validation of a distributed mutual exclusion algorithm. The relevant aspect of such a validation is the exclusive use of refinements and observations properties for the proof of these refinements. <\/jats:p>","DOI":"10.1142\/s0129626499000402","type":"journal-article","created":{"date-parts":[[2003,2,26]],"date-time":"2003-02-26T05:09:39Z","timestamp":1046236179000},"page":"437-450","source":"Crossref","is-referenced-by-count":2,"title":["THE OBSERVATION: AN ABSTRACT COMMUNICATION MECHANISM"],"prefix":"10.1142","volume":"09","author":[{"given":"MICHEL","family":"CHARPENTIER","sequence":"first","affiliation":[{"name":"IRIT\/INPT, 2, rue Charles  Camichel, BP 7122, 31071 Toulouse cedex 7, France"}]},{"given":"MAMOUN","family":"FILALI","sequence":"additional","affiliation":[{"name":"IRIT\/INPT, 2, rue Charles  Camichel, BP 7122, 31071 Toulouse cedex 7, France"}]},{"given":"PHILIPPE","family":"MAURAN","sequence":"additional","affiliation":[{"name":"IRIT\/INPT, 2, rue Charles  Camichel, BP 7122, 31071 Toulouse cedex 7, France"}]},{"given":"G\u00c9RARD","family":"PADIOU","sequence":"additional","affiliation":[{"name":"IRIT\/INPT, 2, rue Charles  Camichel, BP 7122, 31071 Toulouse cedex 7, France"}]},{"given":"PHILIPPE","family":"QU\u00c9INNEC","sequence":"additional","affiliation":[{"name":"IRIT\/INPT, 2, rue Charles  Camichel, BP 7122, 31071 Toulouse cedex 7, France"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1145\/356901.356903"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626498000432"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898402"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01209623"}],"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626499000402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T12:19:19Z","timestamp":1565093959000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129626499000402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":5,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1999,9]]}},"alternative-id":["10.1142\/S0129626499000402"],"URL":"https:\/\/doi.org\/10.1142\/s0129626499000402","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}