{"entities":{"Q761796":{"pageid":763645,"ns":120,"title":"Item:Q761796","lastrevid":64137132,"modified":"2026-04-11T17:53:27Z","type":"item","id":"Q761796","labels":{"en":{"language":"en","value":"Nivat's processing systems: decision problems related to protection and synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3888933"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$A1888DB0-B042-458B-A1B1-86E550D2A16A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dde14c0f90c7f423d47f290f57c4c4b498626af","datavalue":{"value":{"text":"Nivat's processing systems: decision problems related to protection and synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q761796$62EB360E-8165-40E5-BF74-1CF75C6BCA08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b545361d1d337ad14d856e52ca7be3fe2bdb20c","datavalue":{"value":"0557.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$95191ED0-E063-4A20-8415-9750ED8D0693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ba11747e5669b0933b7e48202ac44ada8e5878e","datavalue":{"value":"10.1016/0304-3975(83)90080-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$143A8AD2-BEEF-49C0-AFCD-06C04742045E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$E13D3621-E0D3-469A-BAFF-879FCF1D0D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q761796$C85953E8-FEDF-4566-9D2E-B4794678D4BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a307e5172e34c5f14d2bd48a1a258c4cd25a641f","datavalue":{"value":"The notions of process and transition system (as introduced by \\textit{M. Nivat} and \\textit{A. Arnold} [Les math\u00e9matiques de l'informatique, AFCET Colloq., Paris 1982, 35-68 (1982; Zbl 0538.68062)] proved to be a valuable tool both from a theoretical and a practical point of view: they provide a unifying treatment of languages and \\(\\omega\\)-languages and a modelling of the activity of many real systems. Such systems have frequently a limited behaviour: some actions cannot be performed before the accomplishment of other actions and parallel execution depends on certain synchronization restrictions. The central notion of the paper, namely that of ''processing system'', defines a framework in which the concepts described above can be expressed and studied. The purpose of the article is the treatment of the compatibility problem and the safety problem for protection systems [\\textit{J. Beauquier}, Program transformations, Proc. 3rd int. Symp. Program., Paris 1978, 110-125 (1978; Zbl 0405.68022)]. The results state the decidability (or unsolvability) of these problems under different ''protection'' conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$DAC1A48E-EFC7-4140-B328-6E76F0EE90F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$AFFCC705-A7C5-491D-B9BE-C7FA7B3F14B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$023EA9BA-8C95-4D85-8F54-C16B4EB15535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f5e2b044c7568c76f3b8e19cadeccf550e950b5","datavalue":{"value":"3888933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$037AE39A-98AC-40EB-A865-34DF200223A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$30F3511C-207E-4449-B4E6-8715EA5550AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795f43d05be304a5804dd5c6ee7935bb502f1f82","datavalue":{"value":"processing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$650ED2AE-603F-404A-9A60-FC5F1460894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$2B82D602-7343-4B0D-AA29-A18BF87D73C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$364D36E9-C505-47DF-AFD9-C5CD5B62E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a088c8960675010ab472d0e0f7b4b42026c99c3","datavalue":{"value":"protection systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$4B5A1CB2-4DC8-4463-B8BF-FC3E0FEDC45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43893d5d64746664e118f56a0c06a6724f1206d0","datavalue":{"value":"unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q761796$40E2E44D-1E27-4205-8F05-417180F20716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee82e28c61d82ea4afc6397d787c08c710206e4d","datavalue":{"value":{"entity-type":"item","numeric-id":786542,"id":"Q786542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$2F986100-1F0A-498F-B561-97BA3743337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa9402f715b9fea0d94178167e84e3f540b68dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$F1A019C1-A0E1-4CDD-8A7B-F5189E5A20E5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$FDD03EB7-6741-4FEF-A9FB-DBE2AF6B8816","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4b671fe3bd7f3d2d5f77212c379ac889c683964","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90080-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q761796$7A21E30E-0814-4188-9FF7-66582B691505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c959bcd9ef36550a0e117fe63fab79d01cccd96","datavalue":{"value":"W2092410746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761796$F44ED099-4E16-4783-B95D-6961FA76C75A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83cfb278d413ea2fb6efbd9b0b9927ada1ae59","datavalue":{"value":{"entity-type":"item","numeric-id":4191580,"id":"Q4191580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$1BBBF277-6DF7-4532-A354-9CAC4A63AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$4C6DA224-C874-4080-9F46-4C3D5D86E60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$17995DA2-399E-490B-9A5F-77802C054C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6698f6992cb3be7fc064e0fa0cceb5290ecb867","datavalue":{"value":{"entity-type":"item","numeric-id":4092978,"id":"Q4092978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$C28A5C99-46AC-44CB-A550-7FF27BAEC87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee49b73abdb8ae00491fb1c4dbe871f798fc9a0","datavalue":{"value":{"entity-type":"item","numeric-id":761796,"id":"Q761796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$B5D8C006-F49B-4D46-8B91-EE43F808612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$FC49496E-A921-4CA8-8CBF-34B328464729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7318155e336c39ffa10d910250c7bd13270f834","datavalue":{"value":{"entity-type":"item","numeric-id":4130983,"id":"Q4130983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$C703E89E-D5A4-4A25-87FC-EB937DE81785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98664f121b585ca92c464a2448012d248cd0672","datavalue":{"value":{"entity-type":"item","numeric-id":3673136,"id":"Q3673136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$60A73188-090A-4180-813D-229BA8DEF065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$FC2FE1CE-8099-4E14-80E0-9B8F30E48DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$43E04C08-80C6-4019-8D11-538EB8959727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$6EC29EC3-8F68-4F06-8F02-EBDDAB6E0155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cac2367f2bc84a0ef4268665ad04f3301a81090","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$C97D02CA-14EF-4899-9167-DC8DC0379395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb95af0bfed632b669731994f3ffcfd32e950c7","datavalue":{"value":{"entity-type":"item","numeric-id":786543,"id":"Q786543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761796$EED815FF-EE65-4DE5-8ADB-92BA260BE4C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b31a934b1d71a8c6ad9e4713cf3d8517972627f","datavalue":{"value":{"entity-type":"item","numeric-id":3319763,"id":"Q3319763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2817d32866a51a687fba132171864ab58be6e70","datavalue":{"value":{"amount":"+0.7329870462417603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761796$217E414B-3213-4EAD-A246-B75FB89612FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2886b722c87416c1d3394d3151bfbc95541c262","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e6d4c11f132be2525647fa5827c630db4027da","datavalue":{"value":{"amount":"+0.7294078469276428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761796$8F484E50-251D-424B-982F-9E2109E7B0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ede9540eb1156243e42ddbf60e4a8b307ba890","datavalue":{"value":{"entity-type":"item","numeric-id":3325068,"id":"Q3325068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c1cfd6b641aed69b1af893ca0d097e394e54e","datavalue":{"value":{"amount":"+0.7193340063095093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761796$64C2B63E-CDFA-4BD0-8CE9-A55B81695C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06dc7c4f329d20eabdccadc7791a6820a08bc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3191998,"id":"Q3191998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d05dd64c1947bc035d9e96883e54bec9c5b1cf","datavalue":{"value":{"amount":"+0.7125436663627625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761796$0E425C08-028A-4DCD-9195-9F8C67106C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07278f8262fa6ac0f547d23cd0df38390356791","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0856288fd12c8a3e5fead26be519b7334bf16533","datavalue":{"value":{"amount":"+0.7044923901557922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761796$B6C0C128-D8EB-49B7-99B4-9E4FFE9AE5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nivat's processing systems: decision problems related to protection and synchronization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nivat%27s_processing_systems:_decision_problems_related_to_protection_and_synchronization"}}}}}