{"entities":{"Q1109561":{"pageid":1120310,"ns":120,"title":"Item:Q1109561","lastrevid":49209997,"modified":"2026-01-06T18:47:16Z","type":"item","id":"Q1109561","labels":{"en":{"language":"en","value":"A timed model for communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070297"}},"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":"Q1109561$355CAA7D-5D08-4638-8556-25F26EA389FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe3d2094cdb457d44a0d6aca5ab953cce875dc4","datavalue":{"value":{"text":"A timed model for communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109561$ECF85AB9-9220-4E70-BB92-F09CC7877B95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e7143b5b8174546f6718c6ac17a155956d5f308","datavalue":{"value":"0655.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$1DDA5CD7-46CE-4715-8412-221742CB0BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a126d2560ef4b14e4ceee45d6bac3c0b664e5e50","datavalue":{"value":"10.1016/0304-3975(88)90030-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$47B28B1A-B296-4ACC-A072-2DA58C79C9B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81f460b1ecfb08b49497f15ebebc57d03a32989","datavalue":{"value":{"entity-type":"item","numeric-id":787519,"id":"Q787519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$5F9D5A81-421C-4F4E-B668-463B5EBC0A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$F10042A0-90C0-4F25-B4CA-952EDD6F1373","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":"Q1109561$6A8A7307-92DF-4918-AEDF-BC0CE905E272","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":"Q1109561$4D8B2988-6317-4C3B-865B-AD6E8554616A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"343cf817c5805c776f610a34d944fbc4a1ab8457","datavalue":{"value":"CSP, a tool for structuring and analyzing distributed computing, is shortly presented from its first version as a real-time model changing to a timed model via the description of the so-called timed stability model based on topological domains. Timing postulates are discussed and it is argued that the timed CSP model is fairly compatible with the untimed model. It differs, however, from those which are relevant for divergence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$54391401-4ACC-42F7-8B96-8A692F3A3252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$2F8DEC19-C715-42ED-99D9-360B2DC13DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$6167C172-1403-4429-9665-E7DE3CA150BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$8C99FED5-BF20-4AD1-ADF9-71CD5D67A210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$85F56F02-61BA-43DB-8DA7-C3E6B9F94B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$D34E200E-47EE-460E-BB20-CCA8511FD278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d536561e0591d0a1fdfe088e854a43f1f238739","datavalue":{"value":"4070297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$84F502AA-7BD6-4757-AC11-8A3D2D8FF135","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$DF0442C1-6CA9-4DC2-9D4C-85C024C1A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849f4470104a960a821e60099c9665cbcce61ce4","datavalue":{"value":"semantics specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$7D104777-E3DE-426A-A80F-71043D203BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$E55A25A5-92C8-40BE-9E92-8BF5E9FA0C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$5DCB9644-7388-4E02-AF5D-7DBD218C37A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7957deb6f09baf14b7d1fd53689d989c6d824b","datavalue":{"value":"topological domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$44B5F81B-295B-4FB6-B3BE-992812EC30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109561$44A35EED-C824-4F40-962D-971444202506","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$11CC97AB-506A-4501-AE7C-3464D8F978A4","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":"Q1109561$C9B263E7-0452-4B60-9FB8-F11FA43BBE51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d31c0858e718cc38b570b9c120f61362e87f3f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90030-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109561$3FC5ACFB-C527-4054-9603-EC8EA812EAE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8537a5b8f6cfef427ef90563509191e7d679a1bb","datavalue":{"value":"W2126860147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109561$2EC43471-CF52-4080-B2D2-8013038AADE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$F040423B-938B-4756-A903-6AB9DFC5776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$E50E4081-746B-49A1-8ECA-735386F161BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$314E24ED-9018-4EB2-90B9-AC9CCFCB6DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0376c3db189b8c426e304b128e5c8000af4556","datavalue":{"value":{"entity-type":"item","numeric-id":3343434,"id":"Q3343434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$ACE3232A-3FDC-447F-B119-258D10E29027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$C3A1A123-935E-4512-940E-A832E45706A2","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":"Q1109561$48D3412D-3817-4A4E-98BE-4D9FE5CC7C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$83366383-0DEF-44CA-A178-D556D8A6A5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbb8895c77359a9a1c6dc087b7323ca4c58cfee","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$8722545A-215C-4C54-96F2-83C9B860B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9553b766b1f2d968d1c4047df3e72b2c1cc21bc","datavalue":{"value":{"entity-type":"item","numeric-id":3680261,"id":"Q3680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$5A396BA0-F867-49D2-B8EA-99B7FA937E4A","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":"Q1109561$5F961E1C-1108-4347-9BFC-14A49FE07F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4699e7b6f680f959edf7c209e86a633fded3126","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$2856D2EB-4000-4FCB-8925-E8E48B9EA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decff93033d498c13d632f961d6ae90a0e5b00a8","datavalue":{"value":{"entity-type":"item","numeric-id":2520703,"id":"Q2520703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$F19E6E38-AFD0-457E-9E14-A44C3D09903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5352e8def5cbbd1f93a8587b2a577765ba068d3","datavalue":{"value":{"entity-type":"item","numeric-id":3680257,"id":"Q3680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$E37E0230-6CBF-41AF-804D-9F0DF5C78C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14fe8e2f70e07c1d1a7aeb24168f8422746458f","datavalue":{"value":{"entity-type":"item","numeric-id":3787461,"id":"Q3787461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109561$9CB5DA68-E7F7-40CE-91B4-17EC8399409D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86abfba7ea5617dbf8878ebac98a3e69ffcb26d8","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb453f54acec6db992b324526579bc5c54bffe1","datavalue":{"value":{"amount":"+0.8605427145957947","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":"Q1109561$B571F6F7-5D85-4272-9FF7-9677092A9E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b339ad7100fd9c63e9b23c2457910fba7266fe","datavalue":{"value":{"entity-type":"item","numeric-id":5887512,"id":"Q5887512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cdf65c42ceb9b97078c6047d9422c7bc89ce75","datavalue":{"value":{"amount":"+0.8291322588920593","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":"Q1109561$01AEECAA-E2B1-44A9-B268-BE386703F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e827de45638722e687132d560747204b26e2b6","datavalue":{"value":{"entity-type":"item","numeric-id":1708721,"id":"Q1708721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7931a630dbed5dd22321203b354b5608b4d6d793","datavalue":{"value":{"amount":"+0.8109965324401855","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":"Q1109561$81E724DD-C1FF-44C1-A20E-EF8FCA57FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f586e038f817c1d7763d169e55a5bceac2792d3","datavalue":{"value":{"amount":"+0.8035496473312378","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":"Q1109561$4513D333-3CF9-4EB6-B23E-2C4475A20623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cf4e07dc7234f03b47447521843638c9939afe","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932990966875d0b0254a8b08b41294ea217c75f8","datavalue":{"value":{"amount":"+0.8016684651374817","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":"Q1109561$EB959FA8-61AD-4742-A5D2-C0E4441AAB20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109561"}}}}}