{"entities":{"Q758200":{"pageid":760049,"ns":120,"title":"Item:Q758200","lastrevid":64148970,"modified":"2026-04-11T17:57:56Z","type":"item","id":"Q758200","labels":{"en":{"language":"en","value":"Receptive process theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195173"}},"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":"Q758200$75CD7186-385E-4531-A8AD-86AED27D7B78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b287cfcb9de8c44271d0412448c138f5ed2f495","datavalue":{"value":{"text":"Receptive process theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q758200$F6C3EA98-7B09-43A6-8CD6-4921962E60D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5af481f2af47ebc0f409a7082b934c474163aea","datavalue":{"value":"0724.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$1ABE77FF-2F9E-412B-A712-937BB6B5B384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8feb03bd00f27091ff69b9043a7d3a49e2b1e872","datavalue":{"value":"10.1007/BF01178564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$C1A21880-BD02-4A61-A839-C863A05BD8EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f303b3767c8c382431f7e9c9167ca09a33c02408","datavalue":{"value":{"entity-type":"item","numeric-id":758199,"id":"Q758199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$61E0D4A0-0002-4B79-9288-EFC0F1C25F81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$53F4A2D1-D595-4CD9-90E2-BF32B03641AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q758200$931CE6E6-AD91-43A4-8E14-29FB9B9EF9F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a401d5a4cb17a13d890d33a0580f51b2865c2204","datavalue":{"value":"An algebraic theory of receptive processes is presented. A receptive process models the interaction by input events and output events between a system and its environment. Input from the environment and output to the environment are never blocked; but if a system is not ready to receive a particular input, its subsequent behaviour is undefined.  In essence, this paper reworks Hoare's theory of Communicating Sequential Processes under the above assumption about communication. The resulting model is more attractive than the failures-divergence model of CSP because the refusal sets of the latter are simplified out of existence. Like CSP, receptive process theory is equipped with a sound and complete set of algebraic laws.  Applications of the theory include the design of asynchronous circuits and the study of data flow networks. As an example, this paper verifies algebraically the design of a Muller C-element from a majority-element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q758200$021398B9-9704-4C3B-9B20-3CD38476F726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$C1F325CE-2485-423C-B6B2-3B4BC2C35FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$69EB56C1-1E02-49FE-90F7-0A0AFD030B5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93309d9e703881e86a107c42c5da669a80651e98","datavalue":{"value":"4195173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$9BC47B88-7142-4D4D-BA61-4F29C02B79FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ced8597558414f1a665da9dfd4e15657bd175e7","datavalue":{"value":"receptive processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q758200$29D8E32D-6FB8-4BEF-A2C2-037E1607E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q758200$53D373EC-DE64-48A8-A8A0-3E5582667E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0544513bdc8f0636dda569851f6b67fd5744ee","datavalue":{"value":"communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q758200$42A61ECC-F74A-4E6A-8883-438A4791E464","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":"Q758200$700F037A-1CDB-4811-9405-8C92B1A72082","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d3194cd2e65dd0408bd8f9df1a2dcb46aa9eb4f9","datavalue":{"value":"Q56210208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758200$74586689-72C4-448A-8143-FC303FE2ACEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$CCE29C5A-9769-43A6-981D-B81B080E05DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$37762D7A-572E-4DEA-A964-9710ACCCBA51","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":"Q758200$F876942C-E1E7-4BB1-8DB4-944352DD18D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$5686275E-7C0C-4A90-A40A-B1028A130420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e2c6ff77a7ef8980b1b84f7b26a4e2df39a030","datavalue":{"value":{"entity-type":"item","numeric-id":4037096,"id":"Q4037096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$F5FDCF5C-20EC-4DDD-BDFB-4B4A74664B22","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":"Q758200$E6614012-BAAD-42DC-BFC6-E5BB28CE6668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$0D615435-D780-4CE0-BC1C-198144B368B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d07053bfe32a04098a7ecd7d7f509a8717a462","datavalue":{"value":{"entity-type":"item","numeric-id":1821550,"id":"Q1821550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$E975A25A-E61B-4291-A71E-D428C576F637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758200$8E07FB6D-FED4-49E8-868E-E9FE953325D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd250200a5f7b47b98f62f52e959f1223e3e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":970827,"id":"Q970827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21414e20a0ba6ce822261c7d55c01b0f1222193c","datavalue":{"value":{"amount":"+0.75951463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758200$8E1C6878-8390-4E71-A817-10A2B0736E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332d8867cbc7e6e43149142d88ead8a373191c2c","datavalue":{"value":{"entity-type":"item","numeric-id":3004648,"id":"Q3004648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cde0acf0a7711165f6f0d3cb1bbeb5d42e6cfb2","datavalue":{"value":{"amount":"+0.7554482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758200$B02E73FF-433C-4F61-BA32-CD25576B8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3886f3aeb46041b30b754ea8ff1a929d27950041","datavalue":{"value":{"entity-type":"item","numeric-id":1796351,"id":"Q1796351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb8421bc14b700daf3c97f08c7ef2f1e9618b56","datavalue":{"value":{"amount":"+0.75448036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758200$FB562D5E-ACEA-4E2F-B8DC-936F08A428B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67b91fc0c702d406267f61aaca6a58d2f64d00e","datavalue":{"value":{"entity-type":"item","numeric-id":4209220,"id":"Q4209220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8449d33e29d0eb56a0a849a3f566f2d3a1fa98a","datavalue":{"value":{"amount":"+0.7444217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758200$D1A1F356-3D2B-4FBC-8204-97FCEB7BC1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f60451485fa9e9c6923e461bbd9e0625899560","datavalue":{"value":{"entity-type":"item","numeric-id":3584945,"id":"Q3584945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0849e1b56d28f5586441bc63d72159302006d4","datavalue":{"value":{"amount":"+0.74241376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q758200$B5634AEA-E008-4CC5-BDCF-BC3C0B4AD02D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Receptive process theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Receptive_process_theory"}}}}}