{"entities":{"Q750163":{"pageid":752012,"ns":120,"title":"Item:Q750163","lastrevid":64093116,"modified":"2026-04-11T17:35:18Z","type":"item","id":"Q750163","labels":{"en":{"language":"en","value":"Bisimulation and divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174335"}},"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":"Q750163$A2FA5897-7AB7-46D4-88A2-64DE0244BAE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10cc82bf0949c7d37e8ea52ba183bc8e02061ea0","datavalue":{"value":{"text":"Bisimulation and divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750163$F931C6BC-8C95-49B4-8C41-B6F038A5A9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2218cadcdf993bac9739bc201795cd4b190699","datavalue":{"value":"0713.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750163$39D1D9D9-0C4C-41D8-851B-9386A859748E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e940efcae9dfb2d0d80f9756325881518342b3f0","datavalue":{"value":"10.1016/0890-5401(90)90048-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750163$59E58030-79A8-43FC-8241-B98795849DC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$83453D23-8AA6-4E7E-8569-D052E421DAD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q750163$7A3F39B1-EB69-48B2-884A-3EE6E2086261","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81e9809e21fc2960695624baabf3e17ef6399102","datavalue":{"value":"The purpose of this paper is to investigate how bisimulation equivalence may be refined to give preorders which provide divergence-respecting approximation orderings between processes whose associated theories are as close as possible to that of bisimulation equivalence. The work is based on ideas first introduced in \\textit{M. Hennessy} and \\textit{G. Plotkin} [A term model for CCS, Lecture Notes in Comput. Sci. 88, Springer-Verlag (1980; Zbl 0479.68011)] and \\textit{R. Milner} [A modal characterization of observable machine-behaviour, Lecture Notes in Comput. Sci. 112 (1981; Zbl 0474.68074)].    The paper is divided into five sections, the first being an introduction. Section 2 contains characterizations of the largest precongruence relations included in the latter three preorders, and Sections 3 and 4 present axiomatizations of these relations of the classes of finite closed terms and sequential terms of CCS, respectively. The final section contains an example illustrating how the theory of one of the preorders may be used as the basis of a verification technique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750163$82EEF3EC-844D-4ECB-B418-357A1C50EA2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750163$029D19F1-CC3E-41BC-A2F0-CF7F380D45EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ccb86742d8ce60a9d7fc5214304dd0622edfd9f","datavalue":{"value":"4174335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750163$EF90A98D-FA1D-4BC8-9A7E-4B33C7E4FC9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q750163$048F2250-BE99-443E-9B7D-31C957E2CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q750163$40F30696-691C-48E1-8E6C-0ECDAB3D4BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q750163$B9C33451-E94A-47B6-AD20-DB762CB31D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q750163$B53173FF-D550-4E1E-946C-07C0713975B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b2754b0b45a6e30e205896d1011a7881783baf","datavalue":{"value":{"entity-type":"item","numeric-id":1576495,"id":"Q1576495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$4227CF35-8FCC-4F45-8D73-CB776B4DCEAF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6157837de11f2e28fe479554c99ef4c02d4ee00e","datavalue":{"value":{"entity-type":"item","numeric-id":172108,"id":"Q172108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$DEBDEF77-1507-4C75-ADC1-432A33F5D1B0","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":"Q750163$7C5BEFDB-B43F-4459-811A-A7F1C09F39FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$4EB27148-AE95-4BB0-8315-B4F55C6E533F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6effcc92f411143cb63ab680d3148dabab4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3938462,"id":"Q3938462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$0A6EC1E1-6FDB-497D-9320-4F983CBCF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97415da448f0be84ca8b8e79f7fdaafc918e512","datavalue":{"value":{"entity-type":"item","numeric-id":3795197,"id":"Q3795197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$01DB1D0E-7E3F-46AD-87D3-08DF4100FAD4","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":"Q750163$2613650F-A952-4E1E-802E-D14D3D3695CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$9A43E109-A979-46FB-9D08-0377B13CCBEB","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":"Q750163$B0BBD3E4-88BA-44F3-9FC2-1BDFDF4F2C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$0FB47672-B1CE-40DA-8307-F83D3CA9D053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750163$9EC69F76-6EF9-438E-B8E7-4DDDD49ED462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a6cfa1154c3537d1467254475c46b4bd11ffd8a","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90048-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q750163$BF23C507-26C3-4F71-8B34-BD02893DB0B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"461bc8028a60a73ad8c41cc57244f268b3412dc2","datavalue":{"value":"W1990440312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750163$3FB4E03B-8321-4DF3-9CB8-7A0D012F25A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f044fa9d194c4a693b2ba6fbe0ea5a90cd1555","datavalue":{"value":{"entity-type":"item","numeric-id":975471,"id":"Q975471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ea9d56a1322cb17449b4551148e04fab77666a","datavalue":{"value":{"amount":"+0.8403592705726624","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":"Q750163$3713751C-5403-4BEF-A154-78CEDF7E9922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617b0df833638df303b4654b02af8d21ecd46a38","datavalue":{"value":{"entity-type":"item","numeric-id":5709380,"id":"Q5709380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8223540938e113a337e2708f72bf2e6a9791194","datavalue":{"value":{"amount":"+0.8277158141136169","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":"Q750163$022F9E5F-874B-41A1-9814-2E5DA4FAB296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef72f216a06f152a6a381e6e2faf23a5368a20ae","datavalue":{"value":{"amount":"+0.8011128306388855","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":"Q750163$F5D3FF7C-D021-46A7-8276-E1871E7F8B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cdf34822a80a66de95d7f6b12f7f55284a88be","datavalue":{"value":{"amount":"+0.7994188666343689","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":"Q750163$26615F84-2A9F-4A55-B0A8-5E6E829AA0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfd990a0f60e836174766e6d61efb06230518b7","datavalue":{"value":{"amount":"+0.7837477922439575","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":"Q750163$B6E1E3C6-3F87-4CB1-82A5-D3DF0BBACB9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation and divergence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_and_divergence"}}}}}