{"entities":{"Q678252":{"pageid":680101,"ns":120,"title":"Item:Q678252","lastrevid":63524742,"modified":"2026-04-11T13:45:04Z","type":"item","id":"Q678252","labels":{"en":{"language":"en","value":"Performance preorder and competitive equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000550"}},"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":"Q678252$BA7652E1-32C8-4308-9612-98F24900FA9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32d8e0d663c3e66b8026241bf274943d746dc420","datavalue":{"value":{"text":"Performance preorder and competitive equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678252$8268AA73-B910-478E-8742-103D0B54D78F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c90f7fd46cb201fc7fbfe816e206121272b59e3","datavalue":{"value":"0878.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$0097F316-DE49-4B25-AA7E-76C643D71F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678252$43BCAECD-01B8-478B-8752-8278356849D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678252$8A1B9A39-3723-424A-BB22-D5A126245DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce3ac0c1888213c8b812f45102fa8177b01abcf","datavalue":{"value":{"entity-type":"item","numeric-id":605600,"id":"Q605600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678252$C67004A1-F34A-46A7-A1A5-78E3400109B6","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":"Q678252$01EDB2C0-EE24-45A7-A1DF-FE6C47681313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d055fb3109bca705377a91671f6048909534fe40","datavalue":{"value":{"time":"+1997-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678252$7EFE6320-9883-40A6-A0BC-65CB04AD43F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e954e264a869a0ae3f98ce6c9e5037712242bcb","datavalue":{"value":"A preorder based on execution speed, called performance preorder, is introduced for a simple process algebra with durational actions. Two processes \\(E\\) and \\(F\\) are related -- \\(E\\sqsubseteq_p F\\) -- if they have the same functionality (in this case, we have chosen strong bisimulation equivalence) and \\(E\\) is at least as fast as \\(F\\). Hence, this preorder supports the stepwise refinement ``from specification to implementation'' by increasing efficiency while retaining the same functionality. We show that the problem of finding faster implementations for a specification is connected to the problem of finding more distributed implementations of the same specification. Both performance preorder and the induced equivalence, called competitive equivalence, are provided with sound and complete axiomatizations for finite agents.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$FB1DC091-A092-4A30-95C4-F5EC33952F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$4EE670CA-4894-4EAC-9DED-A3E3F031F569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$A8F672BB-06DF-484D-AF8E-1C6DEDD61535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$49400161-C1DE-44F5-BBB3-AC1B8DD24E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$396C7410-86A3-4373-8999-C7CE3880DF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f9d09a1e089d3fcca61bbc11e2e901275f3527","datavalue":{"value":"1000550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$BA01414B-9258-4CAE-A2DE-20617B815AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4f54f20d8ea4f0d29548e4b0f900020e2806cb","datavalue":{"value":"semantics for process description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$8444E07E-2937-4C6E-9298-CD7A0DD0A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$00EFA647-F8B2-4288-A180-723CF8642B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$F0DB3763-2A30-4A40-B3D5-B54761D5711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56641a5d62a69acb0cb7d6b601021f3529db416","datavalue":{"value":"performance preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$938C50D5-C5BB-4F0C-BE3F-482742FC299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c71a6fab416aac5e37d2bfcdb0098e85f9b8407","datavalue":{"value":"process algebra with durational actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$F8F1616A-939D-45B5-AE54-5DB181F3BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d084aa948eeb1b1a22913001127c6f5e6ba5157c","datavalue":{"value":"strong bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$3F01332F-1359-4426-9964-8661F9A980EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$155F89FA-49BB-411B-8EEB-C84022627751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$3B9C3CCE-EA0A-4DC6-8262-8B87C21195EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$25A3EDD2-4B3B-4FC7-9397-B64DB8F6D6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4322e929fd323b042cd3f7f10082ef3f3125c5d","datavalue":{"value":"induced equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$73D29837-FD65-4E8F-B2FE-3B24703DC692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9605cb75b26753d37b7692a0ef0df2634e95bd","datavalue":{"value":"competitive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$EB30EF63-E342-4991-AA19-3253B63A7864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07c26e2d82e02159c2ccc944d7cd352fecbf5ab","datavalue":{"value":"axiomatizations for finite agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q678252$501726DA-31D5-45C6-8FB7-2450E1F7870B","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":"Q678252$E8B10ABE-196D-47AA-8A3C-28F463EA0778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed8463162a475b07af418dcf8341df9ccf91d9de","datavalue":{"value":"https://doi.org/10.1007/s002360050107","type":"string"},"datatype":"url"},"type":"statement","id":"Q678252$E302F15A-3186-4ADF-942A-83FB0FB3ABD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c0aa99325f7841edef7a814c4278398ffa7079b","datavalue":{"value":"W2010241460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$94AD0F77-993A-4FB0-9398-BAD1D9413AB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfff459ba0480a6ba03a0f4e495395569d33c57","datavalue":{"value":"10.1007/S002360050107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678252$A3C0924C-3293-4D61-B19E-2E509898831F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb048f9c9addfbd8d1d532ae16d57ec01dd845b8","datavalue":{"value":{"entity-type":"item","numeric-id":3569033,"id":"Q3569033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1530ae3f56e0c7a61b5566f10af6a270d3687439","datavalue":{"value":{"amount":"+0.8887925744056702","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":"Q678252$F4949ED0-A530-44BA-905C-7ECB4683F1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62bc51179fb8555c81f5a4ac20f1888d1acee7e","datavalue":{"value":{"entity-type":"item","numeric-id":5096216,"id":"Q5096216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5934dd76c259489e87dbcd5b27f28d8ed557a286","datavalue":{"value":{"amount":"+0.807523250579834","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":"Q678252$3629C60C-FA41-4CF5-BB19-46E4F623CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09947283415f4258610d6fcbeaa01631b4551d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff5118f48a4440d2d41fb11a4bf66f9b72a7124","datavalue":{"value":{"amount":"+0.8071775436401367","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":"Q678252$F918BDB5-DB02-4180-B537-C16B3975C868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d731d523041f16d10ffd5e2bf33e20ce15157c","datavalue":{"value":{"entity-type":"item","numeric-id":2948239,"id":"Q2948239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ab64a091731c5793aff0d45097bad8618d522d","datavalue":{"value":{"amount":"+0.7938968539237976","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":"Q678252$785169E9-C9CF-4857-ABE5-7E24D3B46AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cd534440fe24d9c83980f8e37d822a3ddedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376af385cd30ed0ef203acb8f2d09c5080edb47f","datavalue":{"value":{"amount":"+0.784233033657074","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":"Q678252$2BF39B0A-08D2-42C1-8CC5-5B8F0FBAE22B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Performance preorder and competitive equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Performance_preorder_and_competitive_equivalence"}}}}}