{"entities":{"Q1901699":{"pageid":1912441,"ns":120,"title":"Item:Q1901699","lastrevid":71114148,"modified":"2026-04-13T19:34:28Z","type":"item","id":"Q1901699","labels":{"en":{"language":"en","value":"A theory of bisimulation for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814152"}},"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":"Q1901699$AD97A980-9E5F-4D1A-9C2E-F83F61E32FC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22ffc9bf72273c5471c77fc08ad4f4ef59d3b11d","datavalue":{"value":{"text":"A theory of bisimulation for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901699$67850D56-CEFC-4724-BC89-B23FE091B8D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a042538466e6b4b7b07f0eca2e090d65afdf5740","datavalue":{"value":"0835.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$72A02AE2-96B1-4B3D-B8E1-EA5BABD270C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$73B9B7EB-6A47-4B52-850B-5245EBAFE52D","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":"Q1901699$F52B3943-80BC-479F-89B0-339BE2155EBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe671a5470cada373b4c4e4482db9951c51897c4","datavalue":{"value":{"time":"+1995-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901699$CB39AE1C-1788-4934-B928-CDBB55FA6A4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99c9732a2ad886e004844cde0ecfa92cf34d3d47","datavalue":{"value":"We study a new formulation of bisimulation for the \\(\\pi\\)-calculus [\\textit{R. Milner, J. Parrow} and \\textit{D. Walker} (1989)], which we have called open bisimulation (\\(\\sim\\)). In contrast with the previously known bisimilarity equivalences, \\(\\sim\\) is preserved by all \\(\\pi\\)-calculus operators, including input prefix. The differences among all these equivalences already appear in te sublanguage without name restrictions: Here the definition of \\(\\sim\\) can be factorised into a ``standard'' part which, modulo the different syntax of actions, is the CCS bisimulation, and a part specific to the \\(\\pi\\)-calculus, which requires name instantiation. Attractive features of \\(\\sim\\) are: A simple axiomatisation (of the finite terms), with a completeness proofs which leads to the construction of minimal canonical representatives for the equivalence classes of \\(\\sim\\); an ``efficient'' characterisation, based on a modified transition system. This characterisation seems promising for the development of automated-verification tools and also shows the call-by- need flavour of \\(\\sim\\). Although in the paper we stick to the \\(\\pi\\)- calculus, the issues developed may be relevant to value-passing calculi in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$526CD8D6-7524-4B80-9C1A-01D26E2547D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$F8AFDBEF-1066-4A93-87C7-7E75662C4739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$B96E66C5-C9EC-424F-AE69-187A85F4036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$ECFFF134-0C0E-4C59-9C17-474B27886EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$B18D5ADC-17F5-43CF-BB6C-D15DA2FC8A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$03651421-4290-4A25-BEBF-B298B43A6621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c6e076ded7f008dfe735470ad54cba5562ed6f","datavalue":{"value":"814152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$EBB66AF4-400C-4A33-9022-664047DFF619","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$86264A78-C4AD-4615-B5ED-3A74CC40045F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb95bd8944dd7dc07b4a8ad4993ffc8a2e2697d4","datavalue":{"value":"\\(pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$B194ED5C-D369-4D86-935D-93100B509FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$074EAB53-F600-49EF-8E90-DB5B81D3484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b6f8c3681fcc9364913cfae79e8572fd3b4f9a","datavalue":{"value":"completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$2877E734-596D-46D5-AD2E-48A407E2A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$91284101-F545-4DFE-8556-3F07CDED18CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b74b30edcc520b2b94a73ab258062d1eef5c36e","datavalue":{"value":"automated-verfication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$E649A1A7-878F-40C7-ABD8-6A60106EB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$B0E09F1B-3F94-4FF2-96B0-7643934E1502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d83ddab99c19dddf74f91716bd9dc198eda8bf","datavalue":{"value":"automated-verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901699$CDB2DFCD-9FCA-43FE-A954-6231954B47D8","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":"Q1901699$066B6731-2F0E-41E5-B048-F42BC2F58D7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d10947b721a63c4d82f3b96c7468ec4742cb9321","datavalue":{"value":"Q56019903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$A290FF58-831B-4FEA-AC85-319A052E7E75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"663efe3f883e808faa4a037c2d273aeb579eb1e2","datavalue":{"value":"https://doi.org/10.1007/s002360050036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901699$48BB4A77-06A4-4CD8-9B05-19732BE36E3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59befe4c9eb35b49abeeca48aae31528792d4d3","datavalue":{"value":"W2027689693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$571CAD7E-BB71-4EEE-9316-0C2225B90DEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$2FBA34D6-32E3-458A-B7DF-2975EEA73F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a75ee466c25f48790b7456e5e4fd63f290e2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4282583,"id":"Q4282583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$3625D29A-DBBB-4999-B40C-6CF44569D628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$3B4B3802-00C1-4981-B856-904DBA6D7FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c920bfa35db0cbbf3fee82859ab49213b0900f","datavalue":{"value":{"entity-type":"item","numeric-id":4431382,"id":"Q4431382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$3433BC07-EB75-44B3-802E-C859134C81A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$BF034DA5-383A-4DE4-B675-D1616A91236B","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":"Q1901699$8397A92D-FF86-46F5-AE8E-F19E00DA07BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc511ea0e64c1b7fb20a80d054f299abb7532827","datavalue":{"value":{"entity-type":"item","numeric-id":4260379,"id":"Q4260379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$056CFCA7-F135-4449-9CE9-C0006F83B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$E448ADD9-9960-4993-8550-EDBA5504C648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$EE23980E-43F3-4F07-8A44-41C8B406E99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901699$CBE9F8A0-5E4E-40D0-8466-DD74F12BE8B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea3094551d60e8aa78f2d1351afb1cd17239b7f","datavalue":{"value":"10.1007/S002360050036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901699$232EBF8A-7265-44DA-A161-1183B76FD4E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e5dc9d2c46e9f0541ffaa16d6d352c4999a8f1","datavalue":{"value":{"amount":"+0.8538064956665039","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":"Q1901699$EA7A550F-72B4-43F4-908F-63C15F37202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64544da2481ad3e4d805a38a96b52c34f80141","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f8b80b3ffb3e83bc7d431a28f3942f09b64248","datavalue":{"value":{"amount":"+0.8530244827270508","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":"Q1901699$03DB23EF-B4C9-4774-BD55-70F02ECA1375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fcffddc6d47534ec880c714fd82b11c2d77bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df2a57cdb6128c137e4af336c15d5962de15e8f","datavalue":{"value":{"amount":"+0.8457812666893005","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":"Q1901699$791DCC52-4501-40D3-8A2F-9C9803AB4A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a2e7d520e7b0cb842e260a1a932c3c312a5328","datavalue":{"value":{"entity-type":"item","numeric-id":5096892,"id":"Q5096892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4416926a4789e43c7a9773c2dd1cd9a2c444dc12","datavalue":{"value":{"amount":"+0.8448929786682129","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":"Q1901699$8C23888E-B9F4-4F94-8745-E11065111226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e2133091bfe0c0c8aa8de7a6640840cd51bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839aff8c113cf556e3ee5caa1b15ccfdb3e4febe","datavalue":{"value":{"amount":"+0.8443140387535095","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":"Q1901699$EDB1925B-4F2F-4A36-823E-EFA28E6F5444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of bisimulation for the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_bisimulation_for_the_%5C(%5Cpi%5C)-calculus"}}}}}