{"entities":{"Q2265792":{"pageid":2276535,"ns":120,"title":"Item:Q2265792","lastrevid":48789961,"modified":"2026-01-05T21:01:51Z","type":"item","id":"Q2265792","labels":{"en":{"language":"en","value":"A functional model for describing and reasoning about time behaviour of computing systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892547"}},"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":"Q2265792$4B4BDF2A-29F6-41DC-815F-3ECE0B6F92DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b27ab49645e9ecbc1aeacc8fcd99f7316b5074","datavalue":{"value":{"text":"A functional model for describing and reasoning about time behaviour of computing systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265792$4DABB3D1-6706-4771-A74D-C128F7536FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d8ba77c732c49f8ca79235d6f985f19b3d952c5","datavalue":{"value":"0559.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265792$A7A965DE-7B15-41AD-AFC3-7A08FD252790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"723c6da3744287440649483caaf55cdd42d6925c","datavalue":{"value":"10.1007/BF00263648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265792$7E7CD679-5E6A-4FB4-BDE1-1E4F6211438D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a999eac357ddf615d21470a6c8b114752bc50b","datavalue":{"value":{"entity-type":"item","numeric-id":1185018,"id":"Q1185018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$7A20B672-C8FE-4A63-80A4-890C07768750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539273933714da8cccbd30c5d33862cc85176620","datavalue":{"value":{"entity-type":"item","numeric-id":1323366,"id":"Q1323366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$A6E89930-4F14-4F1E-8B1E-F4D9FD6A0D4C","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":"Q2265792$4998ACFF-1A96-4350-8F74-147408D1B877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q2265792$27B00B0D-31B3-44FE-A5AA-674E0BED4575","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21a8fe364ac2573fb6f7d396b6c7c4795345c89c","datavalue":{"value":"We present a mathematical model of parallel and real time systems behaviour, suitable for problem specification, and for implementation description, analysis and proof. On one hand, this model allows a pure behavioural description mode, and on the other hand, it takes into account a metric, continuous notion of time: A system is considered as a history transformer, and the history of a variable consists of the sequence of values assigned to it, together with the sequence of times when these assignments take place. A set of tools is proposed, in order to describe such histories, and to perform proofs about them. The proposed approach is illustrated by the specification, the description and the proof of an asynchronous, distributed bus arbiter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$829820A7-9119-4A67-A34C-D6730D14E55E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265792$964649D8-165B-4E3A-9BE0-83C3C859C43E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e440ab5caead33c370e0274f468abb970031e1","datavalue":{"value":"3892547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265792$166332B9-FD11-484F-B508-7A27DA4AA791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f7276abab6be804be52eb9b1a222f18ec5b778","datavalue":{"value":"parallel computing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$01EFF226-50EF-4742-8894-FB271EEAF0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d7f6844b2398cf1ed076ffa254bf0eb74daabc","datavalue":{"value":"real time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$BD5087AB-3040-4778-BC89-4B0932838191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27f0e5646b1a627a17d63c484015e1795fb6fc6","datavalue":{"value":"problem specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$9D63AE28-524B-425B-B1BB-6F3648348FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"082acf5fc07f4bacc17c97f983f8a34ea72e6f24","datavalue":{"value":"implementation description","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$781E1694-3C63-4D23-A6E3-46A85EB56E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb1a628b7c0213b497fbd46354ba0f8b3812687","datavalue":{"value":"distributed bus arbiter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265792$52182AB2-CEAF-4137-8F67-8D15773B0286","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$290E3FB4-CBD9-462D-AEAB-50453EB3F86A","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":"Q2265792$08A735E1-FD39-4257-AE76-8AE1DA261DBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf17ee452bd9fc3414aba44bf8cd79910caf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4130974,"id":"Q4130974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$DEADAE8F-95E4-4B66-B733-597705876085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$77BED8EC-3DBD-4020-851C-91CDA64B9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$46AE2028-1CA9-4C1F-877F-27E7A092CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$FEC942FA-549F-418F-BA29-CD1132E35AD2","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":"Q2265792$A41219B3-34DC-4833-B43F-DBC2235CB38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$BCB6F0BD-C639-4906-982B-C722F1D31886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcaf2a67b1b2addf120399b0e67ded2fd2e9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4175259,"id":"Q4175259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265792$2F10771F-CF10-4F5B-BCCC-960C4037D9D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad1df45379381e8b43c04a4a2403df1c54c14fbf","datavalue":{"value":"https://doi.org/10.1007/bf00263648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265792$96A63011-1926-414B-B1C1-E6472AEAD975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e8806304fb65ae22cc29891d8388046a69cf476","datavalue":{"value":"W1980289211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265792$3003D5D8-BA40-4CD6-961C-569FA7D9EFC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cfe6fb38d1f0431c1fafd98e51b59eb283b75b","datavalue":{"value":{"entity-type":"item","numeric-id":1176111,"id":"Q1176111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a296b109a495c67c74992bc2d5f5946783ae523c","datavalue":{"value":{"amount":"+0.7562254667282104","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":"Q2265792$1ABC7CC6-86E6-4DD3-90FF-B4B3AF1AB962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11720bfc46a01fd1cea1cdb8f0212506cfac5899","datavalue":{"value":{"amount":"+0.7538822889328003","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":"Q2265792$8D7A272B-79C1-4353-90C6-660C95C8D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f02194b8646bb4895cb4c992dfad38d35c206d","datavalue":{"value":{"amount":"+0.7373735308647156","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":"Q2265792$A24FE2F2-1622-4D60-B290-38343F530E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f384828a62bdf3f6a49859ece673f7e69d3fe","datavalue":{"value":{"entity-type":"item","numeric-id":4035252,"id":"Q4035252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f02194b8646bb4895cb4c992dfad38d35c206d","datavalue":{"value":{"amount":"+0.7373735308647156","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":"Q2265792$AC62AC68-8B02-4D36-86AA-A84F15287A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2335e911d8eebefb300562646d4dcee270c8e93f","datavalue":{"value":{"entity-type":"item","numeric-id":1362773,"id":"Q1362773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8901d51e2b57fdb72f8b2fe2375a1105ed558cca","datavalue":{"value":{"amount":"+0.7341742515563965","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":"Q2265792$9B6709F0-092E-4588-9AD6-F954E9E3AF2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265792"}}}}}