{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:29:05Z","timestamp":1729625345651,"version":"3.28.0"},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.1987.1087874","type":"proceedings-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T14:54:47Z","timestamp":1111589687000},"page":"1469-1474","source":"Crossref","is-referenced-by-count":2,"title":["Issues for concurrent programming in real-time systems"],"prefix":"10.1109","volume":"4","author":[{"given":"N.","family":"Kaddour","sequence":"first","affiliation":[]},{"given":"M.","family":"Courvoisier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume":"78","author":"gordon","year":"1979","journal-title":"Edimburgh LCF"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"journal-title":"D\ufffdfinition de la syntaxe du langage parall\ufffdle LCS et impl\ufffdmentaion de l'analyseur syntaxique","year":"1985","author":"kaddour","key":"ref14"},{"journal-title":"Techniques de specification de la synchronisation des taches Application \ufffd la commande d'une cellule flexible d'assemblage","year":"86","author":"kaddour","key":"ref15"},{"journal-title":"Petri Net Theory and the Modelling of Systems","year":"1981","author":"peterson","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070102"},{"journal-title":"Principles of Concurrent Programming","year":"1982","author":"ben-ari","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1984.1087220"},{"journal-title":"R\ufffdseaux de Petri th\ufffdorie et Pratique","year":"1983","author":"brams","key":"ref6"},{"journal-title":"Le langage LCS et son interpr\ufffdte une impl\ufffdmentation de CCS","year":"85","author":"berthomieu","key":"ref5"},{"journal-title":"SECOIA Project Specification and Emulation for COmputed Integrated Automation","year":"84","author":"courvoisier","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312840"},{"journal-title":"ADA manuel de r\ufffdf\ufffdrence du langage de programmation ADA","year":"1982","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/356901.356903"},{"key":"ref9","article-title":"A comparative Survey of concurrent programming languages","volume":"17","author":"david","year":"1981","journal-title":"SIGPlan Notices"}],"event":{"name":"1987 IEEE International Conference on Robotics and Automation","location":"Raleigh, NC, USA"},"container-title":["Proceedings. 1987 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8153\/23644\/01087874.pdf?arnumber=1087874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T13:38:19Z","timestamp":1497620299000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1087874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/robot.1987.1087874","relation":{},"subject":[]}}