{"entities":{"Q1061481":{"pageid":1072233,"ns":120,"title":"Item:Q1061481","lastrevid":69538740,"modified":"2026-04-13T07:41:21Z","type":"item","id":"Q1061481","labels":{"en":{"language":"en","value":"Determinacy \\(\\to\\) (observation equivalence \\(=\\) trace equivalence)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3911693"}},"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":"Q1061481$E6F5663C-010A-4C58-9323-486FE6A60D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d99820a99d7665a456ad2352b7ec9aa9f4939580","datavalue":{"value":{"text":"Determinacy \\(\\to\\) (observation equivalence \\(=\\) trace equivalence)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061481$6AEC4027-D0DC-44E8-B32B-7EFE8DD42F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c68709a665a80dc205c355206beb18b13d2cef7","datavalue":{"value":"0571.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061481$E0A1E63B-5283-4525-87F3-18908117D728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73006b8784553cafbb6c4811c7224e914cc0b646","datavalue":{"value":"10.1016/0304-3975(85)90028-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061481$FA1732C6-4E0C-48BF-A43A-9E3E37458003","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061481$95FB9955-63C0-4E81-B1B5-5A0F2E642CEC","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":"Q1061481$4724BD08-5533-4471-987F-D5239F99F5C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1061481$F3470619-9ED5-4A06-915D-DA77418FD29B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb0ec9b3d7a1e7e797ab1dd94097f1d940a3d8f4","datavalue":{"value":"If an experiment s is conducted on a parallel process p, then, in general, different processes may result from the experiment, due to the nondeterministic behaviour of p (in the notation of Milner [\\textit{R. Milner}, A calculus of communicating systems (1980; Zbl 0452.68027)]:p\\(\\Rightarrow^{s}p'\\) for different p'). Process p is called determinate if the resulting processes are all equivalent (i.e., if \\(p\\Rightarrow^{s}p'\\) and \\(p\\Rightarrow^{s}p''\\), then p' and p'' are equivalent). This means that, although p behaves nondeterministically, this cannot be detected by an observer of p. Let \\(\\simeq\\) denote observation equivalence, used in CCS (\\textit{Milner}, loc. cit.) let \\(\\simeq_ f\\) denote (the much weaker) failure equivalence, used for CSP [\\textit{S. D. Brookes}, Lect. Notes Comput. Sci. 154, 83-96 (1983; Zbl 0516.68024)], and let \\(\\simeq_ t\\) denote (the still weaker) trace equivalence. We show that the three corresponding notions of determinacy are the same, and that for determinate processes \\(\\simeq\\), \\(\\simeq_ f\\), and \\(\\simeq_ t\\) are the same. Determinacy is preserved under \\(\\simeq\\) and \\(\\simeq_ f\\), but not under \\(\\simeq_ t\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061481$03002FF8-A3BE-428E-A480-F85F795913EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061481$D7EDFED9-4C7E-4EF9-8AB2-F19EDFAF6364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfeb4fd27daf850e2e17f147b25ae7503bf2f862","datavalue":{"value":"3911693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061481$6F660B1F-8612-43B9-894D-6C7C32FC1633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40758adb8b754acc14e3eb9b17ef21ab25b3baa0","datavalue":{"value":"parallel process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061481$F96D937B-A93D-414C-9CDE-82B1827B7DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061481$F267BD0C-21E8-49B5-AC8D-F26CFD9FD915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061481$69C08E4A-AF4E-444F-A2AC-F00A645340FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061481$2F11357F-40B5-4705-A7B8-D2BA8FBA488A","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":"Q1061481$B93FF287-8C3E-40FA-B4D1-34DB1C3FE2A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"340e90e8561e3c28f7a3c9033f00e0999d7d5c32","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90028-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1061481$CD69E738-2744-40FD-AF48-2B33134A8698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b907aba472cd5e3df506e7046d8471392c2e30a","datavalue":{"value":"W2121063006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061481$76038615-F518-4C13-90FF-2CAAE7ADE7AA","rank":"normal"}],"P223":[{"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":"Q1061481$0CDFE85C-6074-4577-998B-020178196893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061481$58678BD1-1EE4-496F-BAE3-8E17F3DA7AEA","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":"Q1061481$BC7482E7-9088-4BC0-A195-289436B9C64D","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":"Q1061481$FA0EF1F1-DA9F-4D56-BFF1-AB6FE48B6BEC","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":"Q1061481$50C4EC50-1139-4F13-9984-767E02FF7206","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":"Q1061481$A69BE2AF-90AF-4DE7-9B7E-C4044B4DA3D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a882d98826ab607d7fd8022a4e917d98865c2148","datavalue":{"value":{"entity-type":"item","numeric-id":4733391,"id":"Q4733391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee63bfc4473eb6b8e345303663f67d29cca57940","datavalue":{"value":{"amount":"+0.8105307817459106","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":"Q1061481$B698EA49-2C27-4928-8595-71970E36843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77fa0fec7d0608c5e56e48da0c1a989af2e4986","datavalue":{"value":{"amount":"+0.7983253598213196","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":"Q1061481$5C1EA779-9C2B-4106-A0A0-93A8F4D5DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547a738b3fafe3bf24be5c82c894ffd4e18103d2","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45db7ec9839d7f6ecd7fb127b606eea8712bf677","datavalue":{"value":{"amount":"+0.7797021269798279","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":"Q1061481$725D3FEA-C4B9-4CF0-9276-F0105E850C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d56da46397d025d960a09858b579aacd91787e1","datavalue":{"value":{"entity-type":"item","numeric-id":2253178,"id":"Q2253178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3731e48885d1133f3ce9a66c39a681b73362844c","datavalue":{"value":{"amount":"+0.769907534122467","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":"Q1061481$4BA648BC-09EB-4407-9954-8119CA7CAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9d532769afec1f9056fe3bfa0fdb0b59d7d26","datavalue":{"value":{"entity-type":"item","numeric-id":2638769,"id":"Q2638769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29dd9bd82a9c14a86546d4325ac46202274fe413","datavalue":{"value":{"amount":"+0.7677707076072693","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":"Q1061481$A56789E3-BFE1-4E36-8626-4D7D779BFF9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinacy \\(\\to\\) (observation equivalence \\(=\\) trace equivalence)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinacy_%5C(%5Cto%5C)_(observation_equivalence_%5C(%3D%5C)_trace_equivalence)"}}}}}