{"entities":{"Q1105355":{"pageid":1116104,"ns":120,"title":"Item:Q1105355","lastrevid":67000026,"modified":"2026-04-12T14:15:02Z","type":"item","id":"Q1105355","labels":{"en":{"language":"en","value":"Synthesis and equivalence of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058847"}},"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":"Q1105355$493147ED-BCA8-42B0-8E27-5D6E69E50E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e19846b3438587e996c1aae0f3ba123f27af3cbf","datavalue":{"value":{"text":"Synthesis and equivalence of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105355$D9DE93FF-0684-4665-AA84-D3B89EBDA5CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe2572c9ead8fa2e965884fc31cfce47319c848e","datavalue":{"value":"0648.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$5D7D3714-2FE9-4AC6-AD6D-114D44FE71AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00559951513950db03f533a7c91d4fda2fa1ec2d","datavalue":{"value":"10.1016/0304-3975(88)90026-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$75F933EB-4EC1-4816-B3A8-860CF94FAEBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f678e8c47ec36cd0eb7b6db8f157bdf8c28c9631","datavalue":{"value":{"entity-type":"item","numeric-id":608342,"id":"Q608342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$99A91238-E131-4584-BEB2-389696B2B3F7","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":"Q1105355$8DA233DE-E71A-4B74-B95D-2E1D89BCDFA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1105355$6101E863-4D41-4357-B3FD-8C73B8BF9D31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85825e9657db7b6f175b789c93be416f0a8da8cc","datavalue":{"value":"A framework for synthesis of synchronous concurrent systems with local memory is developed. Given an output specification of the system a cell action structure can be derived. This structure can be mapped into a communication structure, a model of the events in the target hardware with constraints on the communication possible between events, giving a schedule for the cell actions. Communication structures are interesting in their own right, and transformations defined on such can be used for showing equivalence between different computational networks. As an example, the equivalence between two specific communication structures is proved and it is shown that an FFT algorithm can be implemented on them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$CAE299BF-778A-46C6-86B3-C226B17498AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$D87466D3-3390-4EAB-BF4C-32158DA674AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$E3586107-E7F7-40C4-92E5-73AD537460BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e90b5e050d964748ba6764b5bd5f9f0ff0bab2a","datavalue":{"value":"4058847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$21AE5AE5-098E-492E-A588-E6B1E0A74104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cd3acd64dc68ab36231668fdba1983eb8d2f4c","datavalue":{"value":"synthesis of synchronous concurrent systems with local memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$1B75C9EA-B488-449E-AFD2-E59FBE3B434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e9559f1c10f6df3b39e2b768e0e81f4c2d9aa5","datavalue":{"value":"cell action structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$BFC7FE7D-22D8-4783-B3D0-B7A0DE989B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c83fa65165488cae961c0f695c3a1b2dfbec8c","datavalue":{"value":"communication structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$011C9572-2164-4F3E-AACF-E3F027C615CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$2E9CDCF4-5791-49EE-BE82-3F09B7E159A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5bca0d5eb23826a38c53b23db3f755fca8e2fd5","datavalue":{"value":"computational networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$2CC24D1E-A1A8-415A-960B-A419F70C2F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7765b4ee032c2d6e5f8ff6586a82dd98205af0d7","datavalue":{"value":"FFT algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105355$E589713C-EC67-4920-97D9-C950E066D8FD","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":"Q1105355$4CE379F5-DCC9-4541-BCD6-3645D7A4A2A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92500e92de65d2d9cbb2c5442073f8923de8a1b3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90026-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105355$2F2F7622-2F22-4F6B-B67F-1ACAD23DBC68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35409f5d23f877c33b59162c7c6d326b9d4cb93e","datavalue":{"value":"W2073149273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105355$A275BBB9-A1BF-4749-BA50-616B0CEF3CB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$9739187A-2D76-4A48-9555-89B7353055BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6cfb441ce15018a206437beae84dca1fb4433c","datavalue":{"value":{"entity-type":"item","numeric-id":1069704,"id":"Q1069704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$95B265F5-0140-4D6B-93BE-7DB6A602DD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$4E3578AB-43A8-4A35-8D08-C8EB50567433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a259930eca07ff09b26226cfc01ebc9b6dc6b76","datavalue":{"value":{"entity-type":"item","numeric-id":5661080,"id":"Q5661080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$E297D8D7-02D5-4A0F-A44A-D5F698DA3503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6de3de50fb0979d02f6151c82cfa63f5ddf149","datavalue":{"value":{"entity-type":"item","numeric-id":4190126,"id":"Q4190126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$269F8F12-FA99-495C-84E1-15C9C51F2F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f92c43a6a7aa5f84826aab7e3d16d6eea7f38c","datavalue":{"value":{"entity-type":"item","numeric-id":3722428,"id":"Q3722428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$3BC3E039-C31F-4A8E-899D-0670E4C1D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb7b88898929d94c0af2834f8f864d8ec7a21de","datavalue":{"value":{"entity-type":"item","numeric-id":5180827,"id":"Q5180827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$27EC1D36-8F21-402C-AA8D-D73701C71E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf00f66d21fc49ac8593cea662b38a65132445c","datavalue":{"value":{"entity-type":"item","numeric-id":3042387,"id":"Q3042387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$C3312D36-E861-466A-AD76-EF20A55CA7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e95ba806f83651651eaf7301c0cba1fc48143ac","datavalue":{"value":{"entity-type":"item","numeric-id":3680270,"id":"Q3680270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$289AEDF7-3241-4805-BC1A-C7F98BD79C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1526252f934a1cbbde0a62ad2b9ffc79260d87aa","datavalue":{"value":{"entity-type":"item","numeric-id":1187649,"id":"Q1187649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$AFA1BDFE-E1F2-498D-90D4-196A8036B297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e522894023168ae81946c07c47abbf4e9f6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4040458,"id":"Q4040458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$5B2E4644-AAC0-4345-93B0-82D6E14A8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$9340879E-34A6-4B41-8A7B-985C0854C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95881289436e1f41c650fea9ed8b8214cfa08b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1053457,"id":"Q1053457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$DD7D517F-1824-4997-B643-F8C9DFDA7365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e092f242afb5401f28a750e7a8b040b460e9b60e","datavalue":{"value":{"entity-type":"item","numeric-id":3954816,"id":"Q3954816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$A0946A2C-F490-43EE-8A06-85BBE721A77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$FA8E6599-14DF-4288-826C-CD3DE621DE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b3c07b155ac762465b61e25773bda60a652f62","datavalue":{"value":{"entity-type":"item","numeric-id":5617294,"id":"Q5617294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105355$A8E3D0C0-5324-41B6-8298-2358B1C45690","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e173d32426e8aeb30528f8f945a640f6e9f335b","datavalue":{"value":{"entity-type":"item","numeric-id":3725530,"id":"Q3725530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a13a11b80e51f3ae43521e52ee57b49564c8773","datavalue":{"value":{"amount":"+0.999714732170105","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":"Q1105355$8A754673-38A7-41B0-B9EA-4CD1600FFA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb03503464916cb4c72076ce0892a8024119cd00","datavalue":{"value":{"entity-type":"item","numeric-id":1187649,"id":"Q1187649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5540981401042d5debbaf1a5a16bdbc66f06fc36","datavalue":{"value":{"amount":"+0.7754180431365967","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":"Q1105355$2749AD4F-3966-4705-AF8D-E68D4FD20F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c951d2c400761a4a453e227f9743fc51d27cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5186744,"id":"Q5186744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790271f6403a94c0b8341844294aec69209bb544","datavalue":{"value":{"amount":"+0.7578585743904114","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":"Q1105355$BFE8A6EC-4DCA-4DA7-98CA-C048A20C0B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921b4bf0d71c9489a3f08d39701f75f2d0253026","datavalue":{"value":{"entity-type":"item","numeric-id":1116329,"id":"Q1116329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6204a9d8a2805fc046f2d8cd8890307fbf4dfec1","datavalue":{"value":{"amount":"+0.7562943696975708","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":"Q1105355$4FAD0B8F-A9D9-4C81-B03B-CA3A7CB1CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3f44d58f1277f4d753a17484a4851f2ab0cdda","datavalue":{"value":{"entity-type":"item","numeric-id":3823121,"id":"Q3823121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe34667600d001271187f7732c53712563b2e2f","datavalue":{"value":{"amount":"+0.7474288940429688","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":"Q1105355$A14DFCC3-8DE7-4D3E-AAAC-C3AC8C6B7EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis and equivalence of concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_and_equivalence_of_concurrent_systems"}}}}}