{"entities":{"Q7310320":{"pageid":31275616,"ns":120,"title":"Item:Q7310320","lastrevid":105090766,"modified":"2026-09-16T15:20:32Z","type":"item","id":"Q7310320","labels":{"en":{"language":"en","value":"Denotational semantics for probabilistic and concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236373"}},"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":"Q7310320$C360F383-2740-44DF-BB5D-078D924ABB90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60cb9f9914dfa6c037354482754c35d6773de8ab","datavalue":{"value":{"text":"Denotational semantics for probabilistic and concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310320$4D9203F3-03C4-4D07-81F3-747ED16AB41A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f54e717602c8389a94942e50caee1adb5ca7d414","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310320$51A9E99D-9BDF-4C73-80C1-F9676EDF5313","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63fc812f4e400466252ffad8d82d1caa7ecd6d59","datavalue":{"value":{"entity-type":"item","numeric-id":7310319,"id":"Q7310319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$9BD4A825-7D07-420C-89BF-B2689348AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d619cead43dff7c5a71f909ca42227edbc38","datavalue":{"value":{"entity-type":"item","numeric-id":660995,"id":"Q660995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$F8D31097-6F34-4090-92D8-7716858F2757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$5DD75C04-1808-47D4-B72E-8D1D47215989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310320$CCD1F6FC-61EC-4745-9CD7-6A468AFE46FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310320$84A2A881-4259-4A71-9946-41AB6EE72267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cea076c49417078c5b087bce7adad896b9e128e","datavalue":{"value":"8236373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310320$58A5C47B-7BC3-4543-A297-0F087F28CF1D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$502478BF-ABF2-4719-84E1-6103DEAA8F1E","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":"Q7310320$AE1FAD8E-CC8A-48B1-8394-2BDF21576F9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$15C86722-7041-4997-AF1E-972A2F5B43F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$2A233F39-B8C5-4E8E-9CBD-26036756F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657890d3e4e594c9603629a24d3f25e9e327278","datavalue":{"value":{"entity-type":"item","numeric-id":3860820,"id":"Q3860820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$97AE52FB-1254-4043-897C-DA2E0E5AA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc2d2ea3c0233142e77b98852e5e67bdaaa6240","datavalue":{"value":{"entity-type":"item","numeric-id":2323970,"id":"Q2323970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$F20ED24D-6FA6-46C1-AF29-4606B3C8BB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0a8d66a05062c079871b44357d21189b33fb45","datavalue":{"value":{"entity-type":"item","numeric-id":6061669,"id":"Q6061669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$E819CB80-E7E9-4C3A-AB83-3F459122F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797babffa536f1b5c470861cdcf66c004829de59","datavalue":{"value":{"entity-type":"item","numeric-id":4484505,"id":"Q4484505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$FE98A02A-36C5-4E18-9324-2D844F65E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$AF877B2D-7366-44A7-A7F8-CC1D52023040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f6e60ddf1769f3f9da30c7c3adf413170b9898","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$0600808B-923A-4672-B867-F75C1CE21FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d377e5d4dfff7ca7c13ae78ec7b6cb2b5f3d30","datavalue":{"value":{"entity-type":"item","numeric-id":6151606,"id":"Q6151606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$71A66A34-990D-458B-A5D7-7BA326AC8282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333a635bbc5b65c656f3903d4e5d21252405ec08","datavalue":{"value":{"entity-type":"item","numeric-id":6122640,"id":"Q6122640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$FFEB0F03-F0F9-4B3B-931D-A2CC3D8DE726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4663099518906781819c8ea15e8da50d357e7f99","datavalue":{"value":{"entity-type":"item","numeric-id":6587133,"id":"Q6587133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$341CF923-4A81-4D11-8E1C-FA7336E93B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$90A4AC9C-D479-4C6E-8E3F-C31BB74054D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$67C0504D-0BF1-4602-84FC-7C703F063C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$3E122F81-E08F-4C0A-B667-2EEC68A7EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$08BE4A8B-8A23-49B7-AE39-9A7D1B36C7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$2EAB7203-A443-4578-B414-1F72800B97AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$F32118BB-4ABE-426E-837D-A055AA1B05D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$2A04E3D0-BEE4-44E1-83D3-AE7EFB907D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d144a9be5e1891d6b0148c83a08f542b6499831","datavalue":{"value":{"entity-type":"item","numeric-id":2873666,"id":"Q2873666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$B76117AA-AF39-429A-BD1A-83C53F3BDBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$4EC76C5A-69CD-44E3-A6E1-74DEB6687D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35362ba3b6099772c8a3da858a8bba1efb800751","datavalue":{"value":{"entity-type":"item","numeric-id":2200836,"id":"Q2200836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$0461724F-6A19-4185-8DA7-46752D80B518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eeb5e1114b269cf1ba2a2fd5618a6437e51dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2130595,"id":"Q2130595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$9487A9D7-7382-41CF-8A4A-024510687264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabd95059fb207199eba42dc770ae0ce2a2d6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$4F74FDBB-D11B-4B4B-BBCA-88B53023FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce5e4aef463467088fb09a0ad78699af3898633","datavalue":{"value":{"entity-type":"item","numeric-id":7030783,"id":"Q7030783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$27CB6ED2-B7F3-414E-8960-7CB301C2165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$A1C9A9C9-5D2A-40AD-AA33-214DADFF493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$084278F9-7AF8-4A28-A286-B2266FF5BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$6FE69C3F-E09C-423E-88D5-F2E7348FBB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4d4f7048c8407c6a5aa17dcc509aee42d62768","datavalue":{"value":{"entity-type":"item","numeric-id":3975160,"id":"Q3975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$955A635A-2355-47E1-8387-F8B2D35B1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4f04fab2ebc4430c0f1ee4c156e3980629f331","datavalue":{"value":{"entity-type":"item","numeric-id":1107301,"id":"Q1107301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$45F2859A-5990-4E82-A417-13119E31B8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9badc6ac1d95d67ed514f7a977398948dcda3edf","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$C865966B-ED34-47F5-97B2-A7109DDBFAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$B5549D5F-F934-4EF9-A977-4B33181E1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6b72f9c8f81b8d711ea18b4fe96c1f2fab19a9","datavalue":{"value":{"entity-type":"item","numeric-id":2365393,"id":"Q2365393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$61852343-AA26-4E9B-BF85-99ACECD23E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1df672fbbe25f8544c9b4a7e90aeef67bbbe756","datavalue":{"value":{"entity-type":"item","numeric-id":4167561,"id":"Q4167561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$F974F9D4-D050-41DD-9990-3DC69EFF9C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$4868C989-AB48-47FD-83F1-E7C5842335F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$FFE706D8-E82A-4CCD-8583-A1D8D9042008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f955881ec719424b635d12ed43cbd0176010fe","datavalue":{"value":{"entity-type":"item","numeric-id":1162148,"id":"Q1162148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$D7607F3A-193D-4472-BADA-8DDFBB6C8BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$8D9E00EB-8C2B-4DE0-A488-9683078F976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$3A09D672-0EBC-4C54-910A-058BB7ACD8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e1ca20a5253e40e9f7c427df5aa3a732027b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4488202,"id":"Q4488202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$8574E0BF-2FA0-4A1F-AB66-1B8A8C188D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d696e624ca1453e18e93e5c3a67433169a87351","datavalue":{"value":{"entity-type":"item","numeric-id":4513598,"id":"Q4513598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$78AE28B2-DCDF-42F3-8A91-0E2A3231F0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c7ca13e70d3e8faf04a058e006d27ce9b92cb","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$26240090-1667-492D-942E-177568A5C4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5b1532afdd83ebb25aaa0a772d12241c28bce5","datavalue":{"value":{"entity-type":"item","numeric-id":2503038,"id":"Q2503038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$C6B3D0DC-FD4B-4B7D-9CF3-08D4FBA92BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$95E34E1B-DEC5-4235-9A3C-BA427869FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac048cc39991d770892d93a2b7be770e5ec1dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2870289,"id":"Q2870289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$182B4543-1897-4F3B-829B-132C50248B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb59f01239d48ee29ab9a4f2d0e701e6cd2397c","datavalue":{"value":{"entity-type":"item","numeric-id":5418979,"id":"Q5418979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$0E2F1BF0-A0CF-46E2-9AFD-08CE84FEB68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982a2d0dedc4910873cc2c80f19a35f8fd3d83eb","datavalue":{"value":{"entity-type":"item","numeric-id":6654503,"id":"Q6654503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310320$69F504B6-46F0-41E7-BC13-CBA2EAAD65B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics for probabilistic and concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denotational_semantics_for_probabilistic_and_concurrent_programs"}}}}}