{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:50:44Z","timestamp":1742385044877},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1109\/32.368136","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"900-913","source":"Crossref","is-referenced-by-count":68,"title":["Observer-a concept for formal on-line validation of distributed systems"],"prefix":"10.1109","volume":"20","author":[{"given":"M.","family":"Diaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Juanole","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-P.","family":"Courtiat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"kohavi","year":"1970","journal-title":"Switching and Finite Automata Theory"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"ref31","article-title":"Incremental verification of token ring protocol","author":"lloret","year":"1986","journal-title":"6th Int Workshop on Protocol Specification Testing and Validation"},{"key":"ref30","article-title":"SEDOS, Estelle and LOTOS environments for the design of open distributed systems","volume":"15","author":"diaz","year":"1989","journal-title":"IEE Software Engineering J"},{"key":"ref35","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312823"},{"key":"ref11","article-title":"Specification and validation of communication and cooperation protocols using Petri net based models","author":"diaz","year":"1982","journal-title":"Computer Networks"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094685"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094686"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022467"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094696"},{"key":"ref16","year":"1984","journal-title":"Manuel dc pr\ufffdsentation de FACTOR"},{"key":"ref17","article-title":"Self-checking software in distributed systems","author":"ayache","year":"1983","journal-title":"3rd Int Conf Distrib Comput Syst IEEE"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676061"},{"key":"ref19","article-title":"Specification and validation of distributed systems using PROLOG interpreted Petri nets?PIPN","author":"azema","year":"1984","journal-title":"7th Int Conf Software Eng"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233170"},{"key":"ref4","first-page":"861","article-title":"The use of precise specifications in the development of software","author":"parnas","year":"1977","journal-title":"Proc IFIP"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675338"},{"key":"ref3","article-title":"IDA: Software test language and associated tools","author":"lamarche","year":"1982","journal-title":"1st Collogue G\ufffdnie Logiciel"},{"key":"ref6","article-title":"OGIVE: un outil graphique interactif de v\ufffdrification des syst\ufffdmes parall\ufffdles d\ufffdcrits par des r\ufffdseaux de Petri","author":"pradin","year":"1980","journal-title":"Revue MICADO"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312902"},{"key":"ref5","author":"rayner","year":"1986","journal-title":"Protocol Specification Testing and Validation"},{"key":"ref8","first-page":"27-4-1","article-title":"Distinct software: an approach to reliable computing","author":"fischler","year":"0","journal-title":"2nd USA-Japan Comp Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094702"},{"key":"ref2","article-title":"Software redundancy for error detection in distributed systems","author":"ayache","year":"1982","journal-title":"Congr\ufffds Fiabilit\ufffd et Maintenabilit\ufffd"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312842"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCSH.1995.532616"},{"key":"ref20","year":"0","journal-title":"Estelle A Formal Description Technique Based on an Extended State Transition Model"},{"key":"ref22","article-title":"Protocol design and modeling","author":"juanole","year":"1983","journal-title":"6th Eur Workshop Application Theory Petri Nets"},{"key":"ref21","year":"0","journal-title":"LOTOS a formal description technique based on an extended state transition model"},{"key":"ref24","author":"molva","year":"1986","journal-title":"Conception et r\ufffdalisation d'un observateur d'architectures multicouches"},{"key":"ref23","author":"diaz","year":"1987","journal-title":"Advances in Petri Nets"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223705"},{"key":"ref25","author":"novali","year":"1986","journal-title":"Mod\ufffdles d'observation pour les architectures multicouches"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/32\/8426\/00368136.pdf?arnumber=368136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:37Z","timestamp":1638216337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/368136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":35,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/32.368136","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1994]]}}}