{"entities":{"Q1179808":{"pageid":1190557,"ns":120,"title":"Item:Q1179808","lastrevid":69815736,"modified":"2026-04-13T09:34:45Z","type":"item","id":"Q1179808","labels":{"en":{"language":"en","value":"A proof system for communicating processes with value-passing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26475"}},"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":"Q1179808$2E295ABC-B622-48C3-8D68-E5726B803329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb6786a36fc240d949bc442cc29811392913c14","datavalue":{"value":{"text":"A proof system for communicating processes with value-passing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179808$D2A89B0F-36C0-4630-8FD5-AF5C8B23D1D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c19e2c8d76b06b02050d0ddee7a1bfd9f3ea376","datavalue":{"value":"0736.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$A2DFD4B7-4085-43B4-8609-7B0B907A3D39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7fcf9fc6556ebf2e79301f09ceaeca797e12169","datavalue":{"value":"10.1007/BF01642508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$B1F80D24-27DA-4F89-BC78-80E18E4BD9AA","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":"Q1179808$CC479730-EB9B-4A7D-A2F6-AF8CD43F8CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q1179808$089C6A42-C3CD-4C29-BFAE-D840F891EC1B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d61426a8fc1054b663df0e183cb25e11e2030e6f","datavalue":{"value":"The language studied is essentially the original value-passing version of CCS except that \\(\\tau\\) is replaced by versions of the internal and external choice operators from TCSP. The reasonings about data and about processes are dissociated. The main proof system is used for the reasoning about processes. For the reasoning about data a subsidiary proof system would be used or called by the main one. In the denotational model the input expression c?x.p is represented as a function mapping data-values to semantic objects. The main system is shown to be sound and complete for finite processes with respect to a denotational semantics based on Acceptance Trees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$B969A013-77FC-41E4-BD14-E62ED6577A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$41DE32EA-2689-4315-AC11-1E77AA626652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$9B25C1CA-7DDA-4F92-B553-A1741F90B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$F1ABEA2E-151C-4C89-83A3-08641E22A1F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a51bcfae069932d2bfb916bb62a76116d26d65a","datavalue":{"value":"26475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179808$1C3B6A35-48C0-45E7-9DA7-26892917686E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d70e9a57fea1dab5b0bcf4627c1c03b0a15c7d2","datavalue":{"value":"algebraic laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$D305B42D-0537-4531-B5B1-84A23B797F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$1D1588A6-4D28-4950-AAAD-DD91563C78CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac09cf04afb05716f9f6658c033f15b5679177e","datavalue":{"value":"value-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$E736A0F6-E838-4559-8971-E9324F2B5B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$88885E30-C28E-468A-82A1-CE54BE6BDFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179808$BF6521EE-9C4D-4BE9-8D28-655EEA8DECFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179808$B46AC770-BB1D-4786-B9B2-C3E7B7D73BF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179808$19B5C7E7-A8EB-47AE-958E-D6E4902C1295","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":"Q1179808$434874B7-82F8-48FE-82C4-148244F3AFD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179808$B62F6240-D4FB-467B-8CEF-C750E0861FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179808$9EDFBD40-876E-4403-9B50-A9789FDCFF1B","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":"Q1179808$09EDF7CE-0D4B-429C-9852-81216A20C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c4799a7e9dc9b98caf61279e6118fd7ec3f411","datavalue":{"value":{"entity-type":"item","numeric-id":3355228,"id":"Q3355228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179808$DD276783-F42E-47F9-A0A5-006876980E45","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":"Q1179808$B96E8EE7-0DED-4870-A656-AC915ACB45D9","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":"Q1179808$6BC8CF12-AE57-4F27-B830-9073CEF59EAB","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":"Q1179808$EFEF434F-2A60-473E-87B8-426176F5B5AA","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":"Q1179808$7D476406-29A0-4562-8F82-F78F07B52D87","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":"Q1179808$01E50782-CC2C-4697-963C-1A15356B7B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5f9bf7d33e601f8d5aa8dffe691e8d1990a5ad","datavalue":{"value":{"entity-type":"item","numeric-id":3355228,"id":"Q3355228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40640a685b2cd1224cbe9366c4bc2b731095517","datavalue":{"value":{"amount":"+0.9521722793579102","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":"Q1179808$9A7CC42B-1045-45C2-A809-165765641CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a014ca3ee37bd8cc4fa7cf5eb8597c53d034e090","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500701508a45696df98363a92517d2596c71dd26","datavalue":{"value":{"amount":"+0.8301185369491577","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":"Q1179808$718145E7-7F23-4915-A05A-27C948671C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16acbe48d398c9a61c05251f4bffd4c3d74d103","datavalue":{"value":{"entity-type":"item","numeric-id":4038693,"id":"Q4038693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4e12b60f794d6d9576c9aa03d17dde7e75dab8","datavalue":{"value":{"amount":"+0.8170795440673828","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":"Q1179808$571C5463-7A7F-4AAA-80D5-9169A2BCD44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d50b8ed6cb4ac573e7927a7609ce60668fdff67","datavalue":{"value":{"amount":"+0.8148465752601624","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":"Q1179808$6433D3B6-0F92-4D2F-8B80-06BD1CE43A5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for communicating processes with value-passing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_system_for_communicating_processes_with_value-passing"}}}}}