{"entities":{"Q1095653":{"pageid":1106405,"ns":120,"title":"Item:Q1095653","lastrevid":69826860,"modified":"2026-04-13T10:36:47Z","type":"item","id":"Q1095653","labels":{"en":{"language":"en","value":"Communication in concurrent dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028888"}},"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":"Q1095653$0DB3C54B-6A9E-4447-A830-F094FCCAF32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709beba58e3435bdcc1da79c907f13579660a390","datavalue":{"value":{"text":"Communication in concurrent dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095653$4FAEFEEA-1D2B-48D7-8CC1-40ED27609310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3354ec52892ca4fb61b2c11d0c86df380d69f4e","datavalue":{"value":"0632.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$CC122E64-F9C7-4280-9500-3A0DBCA274F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"424a7062435b1d45d30f0d92afff8d71cbdee28a","datavalue":{"value":"10.1016/0022-0000(87)90035-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$26EE0FCA-2692-4DBB-A6DE-FA15279C8B8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$F69CC33C-AC81-463B-88F3-B5FA3584B365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095653$B9F6E503-CC98-4252-8D9B-450B1A593A5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d68047047b68c8e39619fd8c04239db7179f35cd","datavalue":{"value":"Concurrent dynamic logic (CDL) is a variant of dynamic logic, which attempts to provide a framework for reasoning about isolated concurrent programs. This paper investigates three extensions in CDL, tailored towards incorporating communication mechanisms into the programs. Communication via channels gives rise to channel-CDL, communication based on shared variables is modeled by shared-CDL, and, finally, a communication allowing only the transmission of messages to a main control process leads to a system named count-CDL. Both the propositional and the first-order levels are considered. Expressiveness and decidability results are given. A brief comparative discussion concludes the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$4FA60084-424F-479B-9B3D-1FCE36E35ED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$B09FE1E9-F9BB-4593-B999-D56E87A3D775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$7052C96C-B14A-4E0B-9626-97146142B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$83EDBB0C-158F-4F68-BB25-D424B2ECE50B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a85a336bd1f8de37a0d668dc60c4d25397ba8b","datavalue":{"value":"4028888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$4D99D862-2F35-430A-AECA-B4C9357BEBE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fc32d1be7a31b5e8ab31b4478270530f353f23","datavalue":{"value":"Concurrent dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$2954358D-57A2-41D0-8631-57DA1A8CFD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b91b0fe0475ae70e0323229fbd12f6f9b1bce7c","datavalue":{"value":"reasoning about isolated concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$1EEA0969-12BF-4CA1-8230-EAFC64AEE909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0544513bdc8f0636dda569851f6b67fd5744ee","datavalue":{"value":"communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$F29F7799-DFA7-48E6-B0AE-0BB0CFEFAD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49392b486c9c83adb01ff946f2bdf90fd937ec98","datavalue":{"value":"Expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$7A49CD3D-6587-4A6E-955B-1D85B8501532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095653$52A747A9-B43B-4856-B63B-FF7B2DBA01F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27618d3afb5e8d09bd379eb0df3ccd8566897b24","datavalue":{"value":{"entity-type":"item","numeric-id":244948,"id":"Q244948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$91511B2D-37F6-4F10-8992-CC9FA59A1117","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$EAA50E58-0D72-4ECB-8228-1845AF1B4DE2","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":"Q1095653$7DECE696-5657-4C99-AA58-7E33634F1B41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae7959ca71d1acda33f7ad34345109cf50164e57","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90035-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095653$D886C6FA-7221-4DC3-971F-F788BB1C427F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c879356bb7f2f9a23d5efe6fc7d27a443c141ff2","datavalue":{"value":"W1991259963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095653$EA4C78EA-8452-4A23-BCB6-FBE88AD7AE00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$91224D1A-2D72-42A2-A12D-6EE4FE1EB4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbb1b157f33d76489ea473e2abeea1832605d73","datavalue":{"value":{"entity-type":"item","numeric-id":4053084,"id":"Q4053084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$9AE04ECF-5E72-43B9-8F5F-01109DFF1EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$80701908-4FD3-422D-BB7B-227745452661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$52EEBD6E-A2CC-4B4A-A1D2-111C32891012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$FDFE36FA-73E6-44F5-8709-4E4A0110DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$96DEC60C-73B5-48E7-BFFE-07F7F6196C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$1070ED72-B320-49BF-BBD5-6866629ACC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$AF791C1D-6C54-4D0D-8CD4-D4BA4E9BB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3319bea5cc7436500756c5e21047ebaa5b3105e4","datavalue":{"value":{"entity-type":"item","numeric-id":3922136,"id":"Q3922136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$13109A0E-FF2F-4C4F-A84D-E7662AF6FE85","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":"Q1095653$725F6988-E8E8-4218-9F89-6E40ABEE5FE4","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":"Q1095653$E58828FF-F7E3-4CB3-9459-C4ECC18C81DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451e4670e349b30bf00735806c505c29fb4dea2b","datavalue":{"value":{"entity-type":"item","numeric-id":3719820,"id":"Q3719820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$18267EE6-712E-4924-85F7-23202F93106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$3D41AFED-3301-4E7C-917C-4C11AF4FD3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$46C3D32B-2821-402A-BA88-72A28134DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd6a95ac70b3920a98b58f6909f94df8490e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2541847,"id":"Q2541847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$08ECF6DD-EBCA-4387-BBEB-2E253E002A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$D5E464C2-7346-43F3-B7CD-437A71EE1940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$390A71FB-6808-41C3-8018-97A74BA04BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$7580E548-9162-4617-9C04-A34235360E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$F2244C29-6754-41C9-A970-1F42CE5897DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$04503674-34F4-431E-9F90-A4A4877C97F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48527afe062074df34bbd14824dbb74200fe9e1","datavalue":{"value":{"entity-type":"item","numeric-id":3702512,"id":"Q3702512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$D02B6694-9453-4915-8EA1-C4830649E987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095653$3BC211C5-9C0B-4DAE-AFDE-0F4DC481C4F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a08f31443e003e9b2bc3f7e423a786194b226d","datavalue":{"value":{"amount":"+0.856161892414093","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":"Q1095653$C7B3A22F-91F0-4A87-8F4D-831E9B24E59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a678c9cbee2533e31740294724b3568103bed2b","datavalue":{"value":{"amount":"+0.7954940795898438","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":"Q1095653$62655AD0-78D8-47C9-9E68-C772B7A10BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b49f78900645a2e856486c28fe7af785604b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2937698,"id":"Q2937698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b81db258e97744ce303d3e80292429bd199d75a","datavalue":{"value":{"amount":"+0.7831785678863525","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":"Q1095653$DF7E54DB-5983-4D1E-BE96-832828C6A2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0d14767c13aaed87e857e0cd058806d33b201b","datavalue":{"value":{"entity-type":"item","numeric-id":2333668,"id":"Q2333668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1621cc1336420a6d4f8f48ceb37425b7f008262c","datavalue":{"value":{"amount":"+0.769282341003418","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":"Q1095653$3F58AAB6-54A3-45EC-BC77-1E8381208206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20beed9b09b7d5b0a6f2cad6c51d80c7102f06f5","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f935fc947984fa3f8424eae49e5538e7be7f0796","datavalue":{"value":{"amount":"+0.7643862962722778","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":"Q1095653$656C0C67-0D78-4B88-B503-B5CD1336653E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Communication in concurrent dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Communication_in_concurrent_dynamic_logic"}}}}}