{"entities":{"Q1177152":{"pageid":1187901,"ns":120,"title":"Item:Q1177152","lastrevid":66768849,"modified":"2026-04-12T12:43:38Z","type":"item","id":"Q1177152","labels":{"en":{"language":"en","value":"The equivalence in the DCP model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20010"}},"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":"Q1177152$9EF02967-F9C7-4798-8589-4E2D54F34756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"706486814a133388df9906e270e3c2bd1b61aaad","datavalue":{"value":{"text":"The equivalence in the DCP model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177152$205C4946-5758-4501-A15F-4FA16A90D238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8809eaf97b207a10828b2274f9e9828d83c4571","datavalue":{"value":"0737.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$DF2A0418-05AC-4B0F-B6AD-5F4F96EE4A61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"735eba3628a61ecfc3e2bff79f65418be373e259","datavalue":{"value":"10.1016/S0304-3975(06)80006-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$1F69D68C-3686-4D53-B9EB-E4D19387CCCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3075e23089aa907b12d0024150498dbcbaffa737","datavalue":{"value":{"entity-type":"item","numeric-id":1167179,"id":"Q1167179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$B4FCDB82-794D-4DFA-8687-548BA3614404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc9133a22d314c8b19fc72b80095b0ea33899b2","datavalue":{"value":{"entity-type":"item","numeric-id":455929,"id":"Q455929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$DFBD6FAE-2CFA-4EEC-A8EC-B76662199DAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$130013B0-E0E4-401C-87EF-99CAC21EA777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177152$2C220F06-3431-44B9-BE25-1AAC7286CA86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4745b28d12a55a62b5c3ec7b9471a8da3d95e9e","datavalue":{"value":"The importance of equivalence relation (on processes) defined in algebraic theories of processes (like CCS, CSP, DCP, etc.) is well known. This paper deals with the equivalence relation in the DCP model. After a brief overview of some equivalences on labelled transitions systems and the relations between them, the authors, in order to find the place of the Johnston's equivalence (in DCP) in the chain of existing equivalences, defines a new partial order between processes which induces a new equivalence relation. It is proved that this new relation is finer than the original one and in fact is the bisimulation relation of Park.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$5C0345AE-4BD2-4002-8217-660F2E5013FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$BD0F1510-E8E3-4C45-8FC4-EDC07C75346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$C8FCD928-C7FF-4802-9D5C-DEF695BDA48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$FAEB315C-4DEC-4614-889E-1AB2D97E389C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0921393e4b7b59b723688eca6ecb6fd23d6d1824","datavalue":{"value":"20010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$CBD0C24E-BFA2-4320-A039-D9A6A489042F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fea950f075c894be5715df8b281e5d6d33ea1ef","datavalue":{"value":"equivalence on processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$B2951D1B-961D-4D12-B7D0-B0F0B3E5E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5af288161be42c689c2fcce29ea3cfaa9148a68","datavalue":{"value":"deadlock in DCP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$6FB28CF2-4405-449A-9911-71DC72EE515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d9748090187d5d5ce20e751889ec181a47ac2e","datavalue":{"value":"algebraic theories of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$5FF4750C-B1AC-4D75-B5E4-9E131532698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$6D2ADBC4-CA58-4CC8-AAEF-6C6D9F1E66D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$142FA2F0-C57B-4C71-AD0D-0C200F0D8AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6191d33da2d7f5a06cd8932712c4c235759e342e","datavalue":{"value":"DCP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$06192454-E277-4C64-95BE-A701453CAC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e561b98cf6d7b00cba8fa92ce4496353b1776c1","datavalue":{"value":"labelled transitions systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$CACE9773-3E1D-477D-9300-E8C200A842DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177152$BB108F38-20D4-4836-98FF-6B89B0EA563F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9c03730668db67f2f0525cd022cd794bdf73f905","datavalue":{"value":{"entity-type":"item","numeric-id":916649,"id":"Q916649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$3C1618BC-F071-4CED-921C-CC8B472D01DC","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":"Q1177152$0D7AF708-E342-4FD9-A36F-318FF124D9E7","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":"Q1177152$46AE1854-3CC5-4EF1-ABAE-7244B24DDB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098358cb568c6c547d13ee0ec69c3f29140fbb1b","datavalue":{"value":{"entity-type":"item","numeric-id":3664417,"id":"Q3664417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$53BD9E3B-5CC4-4550-92F6-607DEEE0669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$0EBC1E01-DC17-4A62-8523-FCC16C00BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$90F64870-D8DE-4E6E-8588-A596F222A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$43BF42CE-74CE-4693-A34C-95C1661B5C52","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":"Q1177152$DB8B7A05-135E-4691-A46F-661B303418E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$772252FA-2412-44F5-97A9-B92F3250F148","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":"Q1177152$D4DC0372-76F4-4816-BC88-270A7646B62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$44388ED5-B042-40B9-ACC1-8754FF513301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$B76D6B6D-1139-4A28-B0F5-DD469F55A40E","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":"Q1177152$1F0E1947-4CA9-4DEA-AEC6-7EB6655CEA2F","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":"Q1177152$11A0EDA1-2BF0-4AE1-AEA0-44E81779A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a170d6c137febe9630c9215be9b24dde92ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3239817,"id":"Q3239817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$11F2B17E-39FD-4054-B9CA-7A4F1CD88853","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":"Q1177152$98717799-799E-4727-AD17-15C7AAF7F910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14914098ce30ef3efa405aae103cfb5e8c5c12b","datavalue":{"value":{"entity-type":"item","numeric-id":3761686,"id":"Q3761686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$C9E6D63E-836F-4BD2-BF26-9CA9C3779418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$C182F5FC-9612-4547-A9F3-F4A0DD3F98FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177152$FE11F1EA-2C53-4FDA-91E5-140CF8B3B7E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1db35c7e4149bd52cc353967f86630569801d6a9","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(06)80006-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177152$D0F2092B-0556-4AA4-BF3C-8AA60650D452","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51d59d577cb38fcf6695f037f8b9dcdea18d6579","datavalue":{"value":"W4210467904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177152$4512F275-9571-4781-A08A-2EBA3D200375","rank":"normal"}],"P1643":[{"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":"f7fc24cecf4810baa9c8c8517bc375b3f4a222aa","datavalue":{"value":{"amount":"+0.7494630217552185","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":"Q1177152$612A191D-B9F6-40D9-A75E-90DD2458CDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c848eac20367a27bcfe8b561e67ad339ed114b","datavalue":{"value":{"amount":"+0.723875105381012","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":"Q1177152$09C1839F-DA51-49B2-A719-0CA00A799A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9182c1c52fa6b86cd124ff5155ce52259670efc","datavalue":{"value":{"amount":"+0.7230284810066223","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":"Q1177152$BACC83AC-7B4B-43FF-914D-2121B7F779CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43558a1d072aa63b2f830204dc92bc0696e005e3","datavalue":{"value":{"entity-type":"item","numeric-id":3829059,"id":"Q3829059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a7f86177d7cfe06a9c8eaf7736a3ea5807fc46","datavalue":{"value":{"amount":"+0.7064225673675537","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":"Q1177152$F9F3C2BE-8C09-404B-A20B-D94594813A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da35acec787b7f62602853e0d4aefed6a3bc0e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4986504,"id":"Q4986504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273beacb6c3e76db2fd216c6d076f3a1e2c6ee0f","datavalue":{"value":{"amount":"+0.7055703997612","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":"Q1177152$2E15E4AE-5104-4727-8702-ED356610ED6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equivalence in the DCP model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_equivalence_in_the_DCP_model"}}}}}