{"entities":{"Q5925542":{"pageid":8059974,"ns":120,"title":"Item:Q5925542","lastrevid":93412349,"modified":"2026-06-05T04:21:25Z","type":"item","id":"Q5925542","labels":{"en":{"language":"en","value":"Session-typed concurrent contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7432505"}},"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":"Q5925542$1908847F-CB29-4D14-8A6D-25829DCFA76E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aec0cf4cf76d0e3649c93a277c42d085497bbba","datavalue":{"value":{"text":"Session-typed concurrent contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5925542$425C1095-6ACE-4B81-AAD9-63871B487EE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2e0667f51b1c6f6a97961bb06bf6005efb72c0d","datavalue":{"value":"1487.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$7116867F-2928-4F9D-BBC0-041FB0E1A82D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b629536f3ed90b09aff1c34872b675b6f78326d","datavalue":{"value":{"entity-type":"item","numeric-id":2324005,"id":"Q2324005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$C368F957-463A-4FEE-9E30-3BA113886AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f53bc214c4118e2226c58a4920027dbb2a4854e","datavalue":{"value":{"entity-type":"item","numeric-id":277713,"id":"Q277713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$3AD4719A-89F5-40E9-A78F-10C9180B8F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$EAA3923D-0460-46E5-905C-E673DD102274","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$39ACB283-FC20-4081-AC91-DE6CCD91793C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f514d788c7189561054f85987d5959a8ca7fefe","datavalue":{"value":{"time":"+2021-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5925542$0130BCD4-7F26-477F-B454-68301B1A4343","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cf83c60043516d838db186c0053c4db7f57a1d4","datavalue":{"value":"The paper discusses the problem of checking that a subsystem of a concurrent system of a certain kind meets its specification. It is assumed that the subsystem and its user communicate via a bidirectional channel. A ``monitor'' process is put in between the subsystem and the user so that messages between the two go through the monitor, which can thus inspect them and raise an alarm if a message arrives at a wrong time or has wrong content.  The monitor should not affect the behaviour of the system other than raising an alarm. A major part of the paper is devoted to how this can be checked. Another main topic is showing that whatever can be checked with subtypes, can be checked with monitors.  The paper is more about verification using functional programming type theory than about concurrency. The concurrency model seems restrictive, and the paper says that deadlock freedom is not covered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925542$CD647DB7-80F9-4580-8902-64B997CAF497","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec2e2da7abdd5a6d842beb52549ec2e5008bfbdc","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$84E092EC-27A3-4572-9E74-CEE604395579","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$E6B32D6F-4BC0-45B5-9EF8-93EE3055E688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$B1D8749E-46FE-496E-93F2-1686917824CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$2582DE31-128B-4A3C-96B7-6603B084C5DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bd215f4b76502d4dd727fab02263c42958fccb0","datavalue":{"value":"7432505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$49BEECD7-4394-4533-827C-928CB89B58E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925542$F78F375C-7567-4C30-9458-8A54682B6495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925542$4215A7FB-8EE8-4584-9175-32CD6BA54533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925542$804B8DA2-919B-4493-96B3-CFFDFC51F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925542$18A39CE9-C925-451B-9600-2531E768E4DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1bc951072aa6fcd7c9de0e485148951c5b2e7be","datavalue":{"value":{"entity-type":"item","numeric-id":31814,"id":"Q31814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$137EA025-085B-4461-8D06-B75583F3F8BF","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":"Q5925542$FA428F86-28C1-4FCC-B9F9-71ED685F3757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb2c4ffb78412f7fc161d554220bd012f2513e0e","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2021.100731","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925542$722071FE-B7A1-4A0D-8ECE-C8D585C58E3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e11d4c7fac088b9b3d3b0de284d3e893f5e69bb3","datavalue":{"value":"W3208692159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$D069532C-D0B1-4294-91A8-FB2C7B5657EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66262b74004897579dd7fe8cfd87f8c16d057474","datavalue":{"value":{"entity-type":"item","numeric-id":2828298,"id":"Q2828298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$8CC5BB66-C072-45E3-BA56-433E0E31EA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ead62c573d45ef64e44c106273e4f693a53e05","datavalue":{"value":{"entity-type":"item","numeric-id":5919613,"id":"Q5919613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$7BBBA629-63FA-40D9-BB36-B96E62DF5021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a974f70fdf30a806f290add5387a2e33b647fd","datavalue":{"value":{"entity-type":"item","numeric-id":2948548,"id":"Q2948548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$CB39DA3D-71B7-4B9E-B8E4-F25E8B3C2079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$3075532E-97CE-421B-A498-76529FAB94FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8657ac0f006dde93a77bb3bfbfd5ec506eb18104","datavalue":{"value":{"entity-type":"item","numeric-id":4208876,"id":"Q4208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$5E1F3F2D-22F1-48FF-B776-B5F60570A964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$83088095-684C-418A-A83C-9E7F1EAF8CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$B9A66CDD-F735-4E52-B4B8-CED21646E578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa049e0fc5fa200e717f584fe754fb818a519c","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$990D324C-26F5-4CCC-9C82-7AEA90DAA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$6C00E02A-53A6-4536-8C68-FE865FFEB2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$94799C1D-4734-468B-863C-03A5260D83FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$8796A82B-C0FF-43A9-AFA3-6AF216288B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$3E2349F2-41D6-4BDC-8E30-E006E39EE5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed759ad7519b3f88ab75ea891ee614d2ba57b037","datavalue":{"value":{"entity-type":"item","numeric-id":5408545,"id":"Q5408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$5BEBDA18-8A95-4A58-85E8-FD8F6C136CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$EFB5F070-AE6F-463F-800E-EE79CD07B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a30ba293c7c01d1a7f737e9198cbb411d9871f","datavalue":{"value":{"entity-type":"item","numeric-id":2892729,"id":"Q2892729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$14656AB7-0653-457B-BD53-72EFF8BC76FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b731e7eb12d6802f70a57177abc79ad5ac2b7675","datavalue":{"value":{"entity-type":"item","numeric-id":2981989,"id":"Q2981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$7DF56FB6-D75E-4AB8-96A8-F53E8857419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc3b89e3e5f225b83ff2636cb0562d13e70eba","datavalue":{"value":{"entity-type":"item","numeric-id":5408544,"id":"Q5408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$4008FFAA-B6E2-4D2C-8AE9-60E234272C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f3f3e0b7e301da3e674b09a182c26e0583cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4577815,"id":"Q4577815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$0356D51A-0FA2-44A4-A9AB-6AD26488BADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591e620a8a66e1721a29c9b2b1fe684e9ab38463","datavalue":{"value":{"entity-type":"item","numeric-id":5176974,"id":"Q5176974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$652B659F-8D68-4BDF-9F8A-8C9A4CA8A368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$D45350D0-7079-4D3E-AAD4-BD7E4F2CAC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cf73ad04ffa126cd3bb7ee704b873c7eada778","datavalue":{"value":{"entity-type":"item","numeric-id":2811931,"id":"Q2811931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925542$197D5A31-9A74-4AFB-A321-A340968FEA8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca79219215730e9f15fe45b53dbfe92e2a1ad7b7","datavalue":{"value":"10.1016/J.JLAMP.2021.100731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925542$1782CDFE-572A-4B77-9AE4-CE44819608B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f271719bd1eee9d0f14d9ebfd5e86c4eefb080","datavalue":{"value":{"entity-type":"item","numeric-id":5919613,"id":"Q5919613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0d28396819dd7c726885047c16c5d07648238c","datavalue":{"value":{"amount":"+0.7348166108131409","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":"Q5925542$F3F93ADC-AEBF-4FEA-ADE3-7E648AD5FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2663a73b208078b51b7f8af63f968f88b5d1a3b4","datavalue":{"value":{"entity-type":"item","numeric-id":2848666,"id":"Q2848666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0963ab63f41f23794aed6f0c87c77ab34ad4566e","datavalue":{"value":{"amount":"+0.7245370149612427","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":"Q5925542$31DD27C3-209B-4C56-AE78-B30024DDBA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3860f08776683a62ab98a369548ff67b8f92a","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e89227ce3710e99b365a3b883974b4365f90731","datavalue":{"value":{"amount":"+0.7027391791343689","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":"Q5925542$9CBB385D-5EE6-40E4-9AEE-6873C251123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b3479e072250d6482e36a6e7286b1594dc2a46","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee4aa99f0f5bbc7ea8846e6eceb5086493e86ec","datavalue":{"value":{"amount":"+0.6962587237358093","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":"Q5925542$9FD1B0D4-EFB4-437A-8B16-EC8783812C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baee65051cfc62ff52db418708f1b411ffb1201","datavalue":{"value":{"entity-type":"item","numeric-id":6487298,"id":"Q6487298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b68d389472ece04180c20180d3192e8d8471ce","datavalue":{"value":{"amount":"+0.6901097297668457","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":"Q5925542$CF61BA94-F800-4D38-AFAE-44D47B6C9196","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Session-typed concurrent contracts (scientific article; zbMATH DE number 7432505)","badges":[]}}}}}