{"entities":{"Q2265803":{"pageid":2276546,"ns":120,"title":"Item:Q2265803","lastrevid":48790291,"modified":"2026-01-05T21:03:22Z","type":"item","id":"Q2265803","labels":{"en":{"language":"en","value":"Transforming sequential systems into concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892578"}},"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":"Q2265803$08F72E35-F4AC-45E4-B5B4-62EFE7C02EF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5231d68bf13deb79e01eded693cbf09c3f6ea630","datavalue":{"value":{"text":"Transforming sequential systems into concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265803$6700C999-DB46-48F9-B4DF-FFD21CD8BBCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c00a271df2076c37445abf6ebb01d23abf6ec0c","datavalue":{"value":"0559.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265803$A1A7EEDD-9F48-4FAE-85BC-DBF86942D3C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7a5d1fb26761c9577cdb1d25777a0bddee54a2","datavalue":{"value":"10.1016/0304-3975(85)90029-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265803$DBAB550E-2F9D-446D-8224-17747487ED03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$280FD330-969A-4EEA-9425-F6946DC37E95","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":"Q2265803$CF9ABEA7-342A-4BB6-B1A0-BDEF3659E05F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q2265803$8E052AFF-A850-42BF-8116-06BF8C2351E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60ca9b857c61507cd80f5ff2ff96d475bac21ea9","datavalue":{"value":"A problem of concurrent system specification is studied. A functionally equivalent system is first specified, then a set of independent actions or abstract resources is devised, and, finally, this sequential system is transformed into an equivalent concurrent system. The method is based on the theory of path expressions. The notion of functional equivalence is formally defined and studied. Necessary and sufficient conditions, stating when the method can be used, are formulated and proved. Some examples (vending machine, cigarette smokers, readers and writers, dining philosophers) are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$33402AB0-889D-49D7-AFFB-F9605FBD5107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265803$A9F59924-E4ED-4432-8669-093E1936720D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4302d7384523d714582718da1935103da11e9af0","datavalue":{"value":"3892578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265803$DAE02A29-C7DB-4730-A0A0-F1E424012D01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4e4b63589edfa1db37fb93a1e27eb23d141b6f","datavalue":{"value":"concurrent system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$0B891610-169E-41F6-BB34-E93E3A48BA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2b10f0edb8a4d02fd354a38fece63e790c461f","datavalue":{"value":"abstract resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$B4C3C3AB-E89B-479F-B9BF-504B6A603A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a03598013391d4d80b1a6a269bf69619bfe6310c","datavalue":{"value":"equivalent concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$C6827FA3-5600-4098-A26D-228929B66674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31ffcfddc382ea1367327320530d1a28d6ab09f","datavalue":{"value":"path expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$213AF970-4FFE-45B5-81C4-356AEBF2412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ac4cd934611b89a921227736d078b9b990e95","datavalue":{"value":"functional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265803$C184952C-E7C5-46A7-B4AD-7C27F07CC94D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e8aa945d2b284d7eec497cdd61e80c0fb5cd405","datavalue":{"value":{"entity-type":"item","numeric-id":42208,"id":"Q42208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$AE93EFD9-F816-4406-85BE-608E1E20169D","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":"Q2265803$B49784B7-394B-4118-AD67-D4E78898CA94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a38025f6156ed6a7620c5d79c0a7f838a88fb625","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90029-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265803$47BF61D1-D20A-4A4C-849B-F3585A3E4120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c934fa7d18d92a441fe13d0adcb3fdc8f8e51747","datavalue":{"value":"W2036709672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265803$74B0DB02-B468-4819-AF71-575E7127E0F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$38BC5DCD-E6BE-4137-8E64-371E2693A0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dc07534eba676d59722b415a0bd27b41786f77","datavalue":{"value":{"entity-type":"item","numeric-id":5593643,"id":"Q5593643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$91E7BB21-E001-4C4F-8D7B-30DC2A8E4731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$B8E42BF0-80CD-47FB-8829-3BD8102003DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0fb295223c847a859849f39de73fda38619417","datavalue":{"value":{"entity-type":"item","numeric-id":1254287,"id":"Q1254287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$5CC954A3-2B7E-48F4-935F-9CEEDBDF804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101749e93d9b6e0b22965c5a2b7426ed613c7682","datavalue":{"value":{"entity-type":"item","numeric-id":3919088,"id":"Q3919088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$B4D11B99-5DFD-48A2-9648-99C7C826D780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2410c8093a3aa9703f2d20b626322f917bbd1025","datavalue":{"value":{"entity-type":"item","numeric-id":797994,"id":"Q797994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$DC565CEC-602B-4B7A-BD7D-8CD655C4795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2446e1c11bb794e9a69201c8a8bfcbbaf7cf0693","datavalue":{"value":{"entity-type":"item","numeric-id":3325015,"id":"Q3325015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$F8E6DCB5-B659-4759-AB88-1AD5CD4D4A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088800a898300d8e519852be9ef848bf66d8187a","datavalue":{"value":{"entity-type":"item","numeric-id":1219678,"id":"Q1219678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$D3F8DC38-7331-4C69-9025-5D3F735511D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c79ef3c9e254603dc3bf50f004c36871a9c3ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4167546,"id":"Q4167546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$2F7C4BAE-8506-460D-B2E2-CE94BB6FCA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c87ce7986fe3902d936ec8973a25622fd46dafa","datavalue":{"value":{"entity-type":"item","numeric-id":3939202,"id":"Q3939202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$1B9CEE3F-83C6-4766-BA06-F800CD6E833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc05c8251052835015cae86712b180ed9382b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1256313,"id":"Q1256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$42FCB13F-0709-4AF9-A0D1-26924309E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79258f9e3a7464bcb9f3e40943875d0fd0290494","datavalue":{"value":{"entity-type":"item","numeric-id":1167528,"id":"Q1167528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$66B0D9F4-2441-4090-A7CF-ECF96D9D7C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f01332146e7cd2d5499a73fb96dae34f6b2070","datavalue":{"value":{"entity-type":"item","numeric-id":1167527,"id":"Q1167527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$299F2BB7-0C3C-40F5-87E4-26ED9E12B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$B5148912-B43D-40EA-997F-BC26DBDBF873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d2e2819900ec9e5a28db958765bfc162f27","datavalue":{"value":{"entity-type":"item","numeric-id":3675545,"id":"Q3675545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$EAEAD42E-E066-4FA6-8C62-8C6C3498636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272d5b49852a6cd67e5df5a80f567c7faf508307","datavalue":{"value":{"entity-type":"item","numeric-id":3907056,"id":"Q3907056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265803$03FD9F57-DA4E-47A4-8672-47E4695FAA28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b330a51c618028d4a23ce023c93788004490dc25","datavalue":{"value":{"entity-type":"item","numeric-id":3325015,"id":"Q3325015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b911d29b7619ad1c8fa631646e5851cdd14a265f","datavalue":{"value":{"amount":"+0.939767062664032","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":"Q2265803$CF64D696-E3A2-4B84-8845-A63ABD1069AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce68a423c5fda049ac193b424369aa6d3e98652f","datavalue":{"value":{"entity-type":"item","numeric-id":2638794,"id":"Q2638794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d82b2030ae5835493bd076c267d40ca95b405c2","datavalue":{"value":{"amount":"+0.8011096119880676","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":"Q2265803$8811E26E-BB26-4144-AC67-B4EEFA121D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813c9a813d8a36ea8421c5affc59f2b2ed84caba","datavalue":{"value":{"entity-type":"item","numeric-id":3798246,"id":"Q3798246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337c09e73b2feadf40c54579cc005b6759010c60","datavalue":{"value":{"amount":"+0.7624446153640747","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":"Q2265803$1DB75E3E-7E5C-4DC3-8821-703FAADD3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e46bdeebe60e9079a8ab439add86f3dd82e26","datavalue":{"value":{"entity-type":"item","numeric-id":1067764,"id":"Q1067764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641b78e8a91fee34bd5eec298315e0b004c74c33","datavalue":{"value":{"amount":"+0.7552719116210938","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":"Q2265803$54DC48D3-0F7A-46AE-8973-0B046438DB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f4b7f96d5cc0152372c27cd209d9b5887558e6","datavalue":{"value":{"entity-type":"item","numeric-id":4038659,"id":"Q4038659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fec0a93bc82179d265b073f1048a56cda7683f","datavalue":{"value":{"amount":"+0.7547682523727417","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":"Q2265803$8CE55E2F-1C2C-4F11-8B10-A294B4F01BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265803"}}}}}