{"entities":{"Q1194208":{"pageid":1204957,"ns":120,"title":"Item:Q1194208","lastrevid":66830334,"modified":"2026-04-12T13:08:43Z","type":"item","id":"Q1194208","labels":{"en":{"language":"en","value":"A layered semantics for a parallel object-oriented language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63908"}},"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":"Q1194208$93E67A84-8839-4790-ABDC-F1E1BEA3A59A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e080e24aae89574adf4b5b95f3e4406a670e01d","datavalue":{"value":{"text":"A layered semantics for a parallel object-oriented language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194208$C2F2BFD8-956D-4C94-B90A-EB105AB61F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b2cff492514331d90e7f5fe4006a24a3b578900","datavalue":{"value":"0752.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$163F0DFE-3413-41ED-B047-67C8E2AAE0A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70a33f4d264afa8225408eb4acc3e603b2f2c693","datavalue":{"value":"10.1007/BF01211312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$070CFE39-4D63-4BDC-86C1-39B8495BAD93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb02b854c2becbd7e95c63a41963369b81b44656","datavalue":{"value":{"entity-type":"item","numeric-id":753942,"id":"Q753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$0AC92F45-E9D7-4751-B493-E2E4111F1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$DD32BED9-FAF5-44D0-B566-49B5FB6F58A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$FF76A90C-ADDD-45FA-90BF-C73EA5DB3BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194208$2D07A936-50D4-409C-9A65-49DEE3974702","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a02af4142397c3c340a32a8c365564784bd3ec0","datavalue":{"value":"We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object- oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, objects and programs. For each of these levels we define a specialized mathematical domain of processes, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains. At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194208$8AF5B5DD-A131-4961-883B-4630E6401E87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$17C9239F-8B90-447C-A4D9-FA76931251AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$A0F4F977-936C-43FD-BBC0-18492B7E62F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$38013B28-620D-4A14-B7A1-AF142087239B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748a32b74344f8c525ae70a799a8b4651203f2ae","datavalue":{"value":"63908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$D606A2CD-9E20-4AA4-B849-A558CE19AFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194208$6F43F69F-344B-4D00-9451-1FF6377A49D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194208$1D9DC4B2-DC92-41B6-B308-AF6DD6A2276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194208$E986DE95-0B06-4FC0-8FE7-CF56EE93092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194208$DC513948-783D-4CE5-8F3C-4D034557FF84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aacea0a9351896895369459a514caaba4adcf21","datavalue":{"value":{"entity-type":"item","numeric-id":15864,"id":"Q15864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$64ED3D8D-5AA2-4BB6-99CF-405CC035E015","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":"Q1194208$08DA66A9-D635-4B79-9130-006F05B051F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da9d892738f38040ee4c5d7ca36e0e15e08c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$96D8B27A-2B21-4BAC-A820-C6E9E9F34326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9d784e04e2e215c56bcf8c7a14b43f6bbfefba","datavalue":{"value":{"entity-type":"item","numeric-id":4730749,"id":"Q4730749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$6AEBA65C-0429-4851-AC08-7562318EAE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$D62B6478-3C34-455F-85A7-D0A150415FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$C9021F10-C027-42A5-BCA6-43A60D19EB85","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":"Q1194208$9146FE47-F4FC-4FC3-B88B-1FA7A533A6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$E0C8F258-EAC9-4374-8323-A5ECC745431E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$7FC195DA-CCA7-4CFB-A6D8-656FD8AC0770","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":"Q1194208$AE90CA9E-AFE6-44F5-A390-C349424B5E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc59dad01421f0a964152eb9040269c855c67b","datavalue":{"value":{"entity-type":"item","numeric-id":5806377,"id":"Q5806377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$B2BB2819-E27A-467D-9620-5C9E731F768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$54336576-5AAF-45BE-8EA3-410B59759E7A","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":"Q1194208$661DED6E-E4A8-48CD-A26D-8567ED7253D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7126125e0625881334683a50965438c76defb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3474904,"id":"Q3474904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194208$61A309A1-C583-4445-864D-8B56910EBF4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91c65233536d3814b8d019730fc9b0cc197a5fe9","datavalue":{"value":"https://doi.org/10.1007/bf01211312","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194208$AB149F2E-65A0-4198-B2EE-11D025E92B65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ce493773c099bb67f63cdb2d7ef08bd679c1cb6","datavalue":{"value":"W2084421932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$CAD06550-1FFE-4F66-A7E6-235ED4BE6D5D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d76d0a5054deed50f4d40208b02939e75a226250","datavalue":{"value":"Q130984064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194208$ECB5D7F6-7A54-4CEB-91B6-74FC0E81337D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf67ba5505345f4c71433a073016cc95d8bde15a","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2a91367bd5073b6c6726c88cd0ee8b3fca553f","datavalue":{"value":{"amount":"+0.899925172328949","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":"Q1194208$B8EC3D3B-47B6-46B5-B806-39FD513B8C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb25c5831cfa6634397737c1ad477966ba5d919","datavalue":{"value":{"entity-type":"item","numeric-id":3474904,"id":"Q3474904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe45f7adc641cf79d187114de9760b8a5f14d4b","datavalue":{"value":{"amount":"+0.8665433526039124","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":"Q1194208$13889307-7178-4B25-A941-60FE9B646DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95db3c00a17e4a00d13f82723981b7925ef54d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4003187,"id":"Q4003187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4de69cecd80ceabbb5d1defe0bd7d2c424e6830","datavalue":{"value":{"amount":"+0.8636488318443298","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":"Q1194208$14B515DA-3BBE-452A-AA44-4763BFB5EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50497a26b35ae3bf8afae52835a349e5d0fc353","datavalue":{"value":{"entity-type":"item","numeric-id":3569041,"id":"Q3569041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4de69cecd80ceabbb5d1defe0bd7d2c424e6830","datavalue":{"value":{"amount":"+0.8636488318443298","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":"Q1194208$0A099982-626E-4EBD-9F15-91F131A7679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8badfb68065b4f9d66492465f6dcfe98cfa79083","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae89d49f0ecd8fa25ef7ddaf3ca603b51f99d8d","datavalue":{"value":{"amount":"+0.7811017632484436","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":"Q1194208$684AA3E6-AD18-4CB6-9FD9-74495B0E8ADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A layered semantics for a parallel object-oriented language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_layered_semantics_for_a_parallel_object-oriented_language"}}}}}