{"entities":{"Q1084850":{"pageid":1095602,"ns":120,"title":"Item:Q1084850","lastrevid":66895653,"modified":"2026-04-12T13:35:00Z","type":"item","id":"Q1084850","labels":{"en":{"language":"en","value":"Top-down design and the algebra of communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980466"}},"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":"Q1084850$6A1BFD84-51EA-412B-989B-DD3208D4EBAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89ab169128388d1645048a155c08ee42bfd496b3","datavalue":{"value":{"text":"Top-down design and the algebra of communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084850$F64C7478-0D28-46E3-8AB7-80F8F032EB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97af967a0886ad78068f7e9d602ffebe950be415","datavalue":{"value":"0606.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$41F0B8DB-E44B-459D-8191-16DB44979506","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95be03fd69c713b6aea2a1fac1ee656eb55eafea","datavalue":{"value":"10.1016/0167-6423(85)90010-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$FB0A1EB3-8A19-4847-B76D-B94AC9728BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084850$8A556737-99D6-4FE6-9206-9A547510D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084850$2AA830EA-AABC-4E20-9F01-1621CCCDFEA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084850$C40171A3-0704-43EA-B6AF-81631E461C63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1084850$8D4BC641-EC62-47B0-A324-4E3F4F95DCAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84f4329352940d4e8884b7901d10ef403d380586","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12833","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084850$58AC2A91-0221-4C76-A0ED-8F48F758335A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fbbbd11256198617841ca7b1449239ea6953fe1","datavalue":{"value":"We develop an algebraic theory for the top-down design of communicating systems in which levels of abstraction are represented by algebras, and their stepwise refinements are represented by homomorphisms. Particular attention is paid to the equational specification of these levels of abstraction. A number of examples are included for illustration, most notably a top-down design for a communicatio protocol.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084850$3116BBCA-4841-4A20-A93F-692D02951D46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$F8860A74-5991-4F59-B2A8-FC916942732A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edfff1929be64b016cc636fcb3f3359e8ea5e90d","datavalue":{"value":"3980466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$F9CA9653-3853-4051-8534-FF4C1A343C71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e204b43f433fc4e07f52c474aa45212d9220c6","datavalue":{"value":"algebraic theory for the top-down design of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084850$BA049154-C489-4A0A-902E-FE0967080E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc6ce6c16d2ed80f66173b5ad4ef90de0633179","datavalue":{"value":"stepwise refinements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084850$F4B4FA7D-0BEC-4EC6-8437-9EEC673C4EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084850$6809DC63-1687-45BE-872F-4F89166C16E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fde50128772352570a20fc87f44918bb03a70e2","datavalue":{"value":"communicatio protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084850$7FE5FCC2-E4E6-4D4B-849A-EAFAD5B79193","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5691a0dc6e637f3c258809b59819c1a8d75b378d","datavalue":{"value":"Q114851998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$42750EBE-BDEC-44DC-87EE-D537295BD2B1","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":"Q1084850$AFFE1D2E-5C30-4566-A8BE-1B8A6C779C7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b378864ead25838d809090ccd2a5a93eb7ba3878","datavalue":{"value":"W2021173961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084850$FD82BB9B-1FB4-4B39-9B65-6EC3AF61CCAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb125369095be456ec51b37bcb9e92626739c99","datavalue":{"value":{"amount":"+0.7931393384933472","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":"Q1084850$A482A3CF-089B-47CE-A33D-D5C49C8A80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d672eb639351333f9fe9302176dd95b18e620185","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcfab719cc5c4a8d5204c99f947c6d54013b40d","datavalue":{"value":{"amount":"+0.7850117683410645","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":"Q1084850$CEAAB592-48B4-4A03-BE9C-E51E38A4462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b29bdc2db39e5178fc7c78430f13be6affe641","datavalue":{"value":{"entity-type":"item","numeric-id":3330491,"id":"Q3330491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aecb229f5251cd0af8e6eeaec045e2467617f47","datavalue":{"value":{"amount":"+0.78291916847229","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":"Q1084850$7CEAE2C2-CCEB-4644-8E09-631AB3DEC42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ea609b3a93335f2066cee423483be4a852da4d","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081c78abf1b45d9c72e0d6081f25ac3fb2e1729b","datavalue":{"value":{"amount":"+0.7678508162498474","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":"Q1084850$0AF203E7-8508-4DB6-83E0-811B61F6866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c99194691a83f08accaf5cf7e2c672905d29d","datavalue":{"value":{"entity-type":"item","numeric-id":5457648,"id":"Q5457648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475181d1bd0e20134300eecca38ceeddff01241c","datavalue":{"value":{"amount":"+0.7677484154701233","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":"Q1084850$87FEBB0C-3B72-49F8-9067-04107FBE4CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Top-down design and the algebra of communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Top-down_design_and_the_algebra_of_communicating_processes"}}}}}