{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T07:12:06Z","timestamp":1774681926572,"version":"3.50.1"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log.Meth.Comput.Sci."],"DOI":"10.2168\/lmcs-4(4:4)2008","type":"journal-article","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T10:25:09Z","timestamp":1231496709000},"source":"Crossref","is-referenced-by-count":48,"title":["Characterising Testing Preorders for Finite Probabilistic Processes"],"prefix":"10.46298","volume":"4","author":[{"given":"Yuxin","family":"Deng","sequence":"first","affiliation":[]},{"given":"Robert","family":"van Glabbeek","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[]},{"given":"Carroll","family":"Morgan","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2008,10,28]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/694\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T09:52:53Z","timestamp":1649325173000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/694"}},"subtitle":[],"editor":[{"given":"Andrew","family":"Pitts","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2008,10,28]]},"references-count":0,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2008]]}},"URL":"https:\/\/doi.org\/10.2168\/lmcs-4(4:4)2008","relation":{},"ISSN":["1860-5974"],"issn-type":[{"value":"1860-5974","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,28]]}}}