{"entities":{"Q1079949":{"pageid":1090701,"ns":120,"title":"Item:Q1079949","lastrevid":48966394,"modified":"2026-01-06T08:34:33Z","type":"item","id":"Q1079949","labels":{"en":{"language":"en","value":"Higher-level synchronising devices in Meije-SCCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965429"}},"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":"Q1079949$0392EC75-BC4A-43C1-A1C1-683081E64DB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4de00f936434dbf505fa4e8e688944a5efba31","datavalue":{"value":{"text":"Higher-level synchronising devices in Meije-SCCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079949$0E100E90-8854-4B6D-BE75-389E7E069436","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2984dd99dee02c85582cd6f38165f794507f98","datavalue":{"value":"0598.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079949$5D01EA3A-E4ED-48B0-9DED-E7A3B8250DB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c3ae728391bebbb2e8f00f1ba93d9202bc2aa1f","datavalue":{"value":"10.1016/0304-3975(85)90093-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079949$C12A6FE3-4D93-43E4-BCD1-1550FC3A96B8","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":"Q1079949$9DCC024B-2ABD-4CDE-9D19-E794C9E81FFC","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":"Q1079949$7B6AE1F3-E0B7-4CBB-86FE-09E4C609A482","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"521dfc6f8af0b27b3f57ea3be174b17d651e9ac2","datavalue":{"value":"In an algebraic setting for parallelism and synchronisation due to R. Milner, we define a wide variety of synchronising operators on processes. We introduce them by the semantical conditional rules they obey. We prove they are higher-level nonprimitive operators from the original SCCS calculus, showing how to meet their behaviours with primitive expressions. Our purposes are: study of expressiveness - either ''semantic'', in the realm of transition systems, or ''syntaxic'', through translation of other formalisms in the calculus. Such operators allow one to specify formally sophisticated synchronisation modes dealing with (operational) products and transformations of transition systems, and still not lose their informal appealing intuition; for we then forget the realisation working with Meije-SCCS elementary synchronisation mechanisms (the mechanics below the hood). The defining rules are syntactically given, except for the allowed relations on the components' actions monoids. This ''semantical'' aspect allows us to treat many ''calculability'' issues. This is especially true of closed terms, where we may claim constructive ''universality'' amongst transition systems. The case of operators seems slightly more intricate. The proof of our main result has led us to a technical shaping of equivalence proofs for open expressions which shows to be interesting in its own right.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$DABBD204-8BC1-4179-AE1E-E2C849378E93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079949$2FB682FC-0EFA-4507-996B-75BEEE6F419F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3d72f6e64cc822377b0b1896f3f9230033dced","datavalue":{"value":"3965429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079949$BB812ADC-32C9-4FC9-88F7-107C1781802D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$BDAA33FE-A569-43D9-AAA8-409446141D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$84BA5F2D-A319-4993-AE9F-21CEDF9059AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$801E6811-11AF-4C9D-87C5-DCB8D2729CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf2e28d03db2533a18115778f492bc4160eff64","datavalue":{"value":"semantical conditional rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$3DBDC282-958D-4569-BB13-993A6BDBD33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90707819e230f3cd8d4b14f10913f497c34e72e1","datavalue":{"value":"SCCS calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$21508856-CDB9-4AC1-859E-B3289F91D3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3739ba4cb7963efe93f2c91bc0aaaf48c1031074","datavalue":{"value":"transformations of transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$FCFF0D03-71FB-49D4-B790-D4E68A0EA857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d14e8a38b7b7c317206290b327b6dfdd6206de4","datavalue":{"value":"equivalence proofs for open expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079949$40FE3B26-8F69-4FE5-87DB-E00F44EAE080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68bcd9b5dc242063467e5debba16d92ef6bb3179","datavalue":{"value":{"entity-type":"item","numeric-id":272774,"id":"Q272774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$F8C62344-F963-46F1-BF0F-ED04BD9A178A","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":"Q1079949$F30ED66C-F500-40E4-B079-009C1799F26F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b83d93de27511b2c26a4e55225a74c9e3d685d6d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90093-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079949$01205BE2-2651-440E-B056-402584D94B96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7c0332a79121b4ba97788282b2d3bf04788c4b9","datavalue":{"value":"W2070157304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079949$06653AFC-73BE-4AB9-A50F-322271B37E5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$6A17A678-2682-4951-A290-FE35F33A3DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$070B6FC9-9328-407B-9DD2-3D054839DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fceb9482bf9cf532ec7f5a571ec888b180ea09","datavalue":{"value":{"entity-type":"item","numeric-id":3678664,"id":"Q3678664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$149EB16C-26BB-4E6F-8DD8-E1C4C90854B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$5588795A-C0A2-469D-A8F1-8569B4EBC472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$2E17B8A5-A8D6-46E4-9F93-64D9B610D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad2253386c325fda492b594cc77791f71d34edc","datavalue":{"value":{"entity-type":"item","numeric-id":3732952,"id":"Q3732952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$B59E7B0E-2390-42A0-9FE1-6CF285FDA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ead2548cafa915e52db69fc55088e5fc0a6b75b","datavalue":{"value":{"entity-type":"item","numeric-id":3854604,"id":"Q3854604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$454FA0DE-5B07-4816-8AF9-02C6CF5857A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$E39280B1-BFDB-4C88-9544-34BB32389903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$58760382-5817-4BA8-9017-5A4BCF34D34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$1C000E7A-407F-45F2-AC3E-6E071B72FFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45191d2a62943b00de2ae9eada5baa2ce2c9e522","datavalue":{"value":{"entity-type":"item","numeric-id":789888,"id":"Q789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079949$C762922A-9A45-4102-92C9-31B3440C8FC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c85aff40ad00e6f50149fbc6905f82e8f90cf7","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6854815a0c242c4fa0c3a9e596b13bf555aa8565","datavalue":{"value":{"amount":"+0.8325864672660828","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":"Q1079949$08D67DB7-F42B-4385-B0E9-B8600A226816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358f5492dfaedc753ed0774302435cb7a72b8712","datavalue":{"value":{"entity-type":"item","numeric-id":789888,"id":"Q789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d501ad851da63c1ca77d9504722116b92df242f","datavalue":{"value":{"amount":"+0.8306095004081726","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":"Q1079949$FF998335-3849-4CED-99E7-1FC2B42126C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c5241796fb72dfc8411eb64c50115b23446550","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bf3bad5642a56bb8805920f09f1ddb357adbf4","datavalue":{"value":{"amount":"+0.8159675598144531","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":"Q1079949$E9DEFDBA-40D7-4D03-9FD2-8EDE16B56778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417dbea961f33457b88bc7687695584d36b36d74","datavalue":{"value":{"entity-type":"item","numeric-id":5044776,"id":"Q5044776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957e6c6e0778b1d50377f0f598b535c9854b9625","datavalue":{"value":{"amount":"+0.7802059054374695","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":"Q1079949$1F5A21FB-875D-41A1-AEA8-22CC87477ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1505cd702548673d371268e3bfb81a0ae333a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3745292,"id":"Q3745292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae12ed102fdc0bf32b3deffaae18b679c2faec7f","datavalue":{"value":{"amount":"+0.7687936425209045","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":"Q1079949$6A92DA75-F0D1-4092-BB91-EE94505A1622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1079949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1079949"}}}}}