{"entities":{"Q5940928":{"pageid":8117730,"ns":120,"title":"Item:Q5940928","lastrevid":47657686,"modified":"2026-01-02T08:49:14Z","type":"item","id":"Q5940928","labels":{"en":{"language":"en","value":"Fast asynchronous systems in dense time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635079"}},"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":"Q5940928$3095CDF8-95B5-4F9D-B31C-26221A21C1B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"341def7706e41e9733289fb53e743e3302f4d637","datavalue":{"value":{"text":"Fast asynchronous systems in dense time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940928$9786C5DF-0677-495D-9206-890290F60944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"314156d8c91c9d043f9598f937543285f29f8ca3","datavalue":{"value":"0974.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940928$3FA3D8F1-B97C-4BB4-86F3-5F8EC57C307B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6cedca0eaf52e20810425d753e63a145ad143d","datavalue":{"value":"10.1016/S0304-3975(99)00304-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940928$6B4FC762-CB21-40BD-8105-FB5C2A632628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e6c12cdbf5d111330f5056e9462d73991b3e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":1403330,"id":"Q1403330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$A995769D-B822-4312-93FB-B503AB31D4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$A34E1A1A-BCF2-4B82-8BC8-A19457A47C95","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":"Q5940928$CE8B3ED7-E6A6-473C-AAD3-344D69ED9D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940928$6BB19A0B-FAFA-4F10-805C-4B2805CE4635","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c139573f21597465c5f7cf0bec8c87452aa7df5","datavalue":{"value":"A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case efficiency of asynchronous systems using dense time. For all three variants considered, it is shown that one can equivalently use discrete time; in the discrete versions, one variant coincides with an approach based on discrete time in \\textit{W. Vogler} [CONCUR95, Lect. Notes Comput. Sci. 962, 299-312 (1995)], and thus we can clarify the assumptions behind this approach. The resulting testing-preorders are characterized with some kind of refusal traces and shown to satisfy some properties that make them attractive as faster-than relations. The three testing preorders are incomparable in general, but for some interesting classes of systems implications are shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$7DB10199-9AF1-4748-890C-3FF178150B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940928$5E9E6CA3-5608-43E3-8F2F-5ED8596EEF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbeb2a5a750dd952e6b3c7afa2134a76552a8fb6","datavalue":{"value":"1635079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940928$6870DD26-3EC0-4CA5-9448-0A2E0941771F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$70EE4EC8-BF36-4891-9BF6-567905D5E202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$3A0EF3FB-E8EB-407A-BDE9-2D763ABBE044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$12F3B4FC-2811-4966-A9DF-8DC459995056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$53768B6C-9E3B-455F-B6CF-530BB1047362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940928$11EE6E91-7729-40C2-8EC6-9BED293CA34F","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":"Q5940928$3919D864-3DD4-41A2-B9D0-E6B1EBAD7484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$2B7F3D68-4FDB-44FB-A51A-AE4F03F51BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$0DF4D240-F767-4E87-BF58-2905EDDEB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c1e859c4e463aa528e874ccb2a72c86a63c54e","datavalue":{"value":{"entity-type":"item","numeric-id":678252,"id":"Q678252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$1B80CB76-6C03-49B0-91CF-84778DCBDC86","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":"Q5940928$D9E635B5-FA05-4191-AA2C-6F3896D960DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$99BC374C-FA16-4B30-BCD9-F2FDA831B378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c4ec4e8269bf3b102812f1cecb11ec52e1ba77","datavalue":{"value":{"entity-type":"item","numeric-id":4818825,"id":"Q4818825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$24D93EFF-9DBF-4FF3-874A-E7AEFB3AC395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$DFEA5AA4-2FC9-48CB-A0B9-2ABE8202B0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc68de5a0d583d9c4dd94d00aac260890bb5cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1143167,"id":"Q1143167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$3C6DE876-A845-4EB2-A10B-11BF1520C313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$FB1C227E-53D2-4E0B-AA84-24CEDEB6DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$E8380B06-51DB-4382-80E0-1FADB1E13CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$E51A65C4-9FE5-4C61-95F6-EA42DFE6C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23baecab151e24674d98d04bbdfe690d116d2187","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$78EB7F7A-3465-4F0B-A233-9F324E1DA79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$C977B314-9236-4C7E-90F3-A3BBE1215546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$3F207A44-0EA2-48AF-B346-436825DBAD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d78538d7a103f16bf33c861a5e76d297486af9","datavalue":{"value":{"entity-type":"item","numeric-id":1899907,"id":"Q1899907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$F41631D7-3A46-4235-885E-4346C9DC4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8077347e563573de5c7b0c462508cbf726652254","datavalue":{"value":{"entity-type":"item","numeric-id":4571984,"id":"Q4571984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940928$586C8879-8067-46C4-9DD9-07003823D308","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60c473967a31b6099c7e939ee29b250432d3bb08","datavalue":{"value":"Q127481985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940928$E1931F25-D662-41F4-87E6-8E0B31CEE0E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fa725479176d4fde3f0297861786d871a0bc2f","datavalue":{"value":{"entity-type":"item","numeric-id":4818825,"id":"Q4818825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d388720790bf11e2389dd7da1fca64483e24b3bf","datavalue":{"value":{"amount":"+0.9968222379684448","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":"Q5940928$27F3A1BF-757E-4E0E-BFA3-C91784A71D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2935c78690d8b323e7a21d5a11b9279ba5c62d","datavalue":{"value":{"entity-type":"item","numeric-id":1401952,"id":"Q1401952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb64b49a11b2294cc169f66c1480f477e327c8e","datavalue":{"value":{"amount":"+0.891779363155365","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":"Q5940928$1619F283-ED6F-42A4-A705-D8C6952500FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13dccd9143cf0aceb18a44e1c70547b1e751c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1403331,"id":"Q1403331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a999b767a24193d5c8184fc6e6a143b6f17cd0f9","datavalue":{"value":{"amount":"+0.7920885682106018","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":"Q5940928$AABA3B7D-56CC-4C12-84B5-3A24F548D468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c60b2875b35f3d9b870726b3e935dde0ad65d8","datavalue":{"value":{"entity-type":"item","numeric-id":5494305,"id":"Q5494305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e504fa006b684ae394317ebcb2cf953e7ca7c9","datavalue":{"value":{"amount":"+0.7833981513977051","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":"Q5940928$8EF5D073-63C8-480F-9CCD-EA8D08CD19A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f5fe62d3bac9b29931b63535486b6e305b174d","datavalue":{"value":{"entity-type":"item","numeric-id":2766578,"id":"Q2766578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf833d198dd411ea0c075439fe56c8404cc6187","datavalue":{"value":{"amount":"+0.7603470087051392","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":"Q5940928$07FDFC91-2AFE-4900-B28C-2D9EE8EAA786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940928"}}}}}