{"entities":{"Q1102099":{"pageid":1112851,"ns":120,"title":"Item:Q1102099","lastrevid":69955152,"modified":"2026-04-13T11:28:08Z","type":"item","id":"Q1102099","labels":{"en":{"language":"en","value":"Verification of a class of self-timed computational networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049012"}},"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":"Q1102099$DE61AAB4-6168-4E16-B310-85A3F17B3899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8bbf92e2dd57d53bf7605bdc84bd07b0808f25a","datavalue":{"value":{"text":"Verification of a class of self-timed computational networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102099$98FB0C19-4EF6-4D7A-9836-CEC68E97C59F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6b1f76e8f24c451014c623b4ba5f80082b42381","datavalue":{"value":"0643.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$739F0F27-9B7C-4590-8ECB-0EF4C08CE923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"866d296aa974c40e043266f5ed028823310676f5","datavalue":{"value":"10.1007/BF01937273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$BE228C4A-4296-4638-850D-8640137798BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$08021BE6-A24D-4ED0-B8C9-CB199C9364D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102099$AA6B8AD9-BCD4-41CA-87FB-A698774E4C21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ff490182756b8577094dc98fc851f35d0e24df4","datavalue":{"value":"A mathematical model for systolic networks is generalized and applied to a class of VLSI cellular networks which is defined to include both systolic and self-timed networks. The general model is kept simple by assuming that a computation does not deadlock, that is by separating the verification of liveness from the verification of the results. The main contribution of this paper concerns the study of deadlock in self-timed computational networks. More specifically, an algebra of events is developed and used to prove that the liveness of any self-timed network is determined uniquely by its initial state. Moreover, a method is presented for the verification of liveness in networks preset to given initial states.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$9EB61B7F-7688-43DC-A270-4E9AD445094E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$05C3FED1-6FB4-4FC8-98DC-921760D5CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$B3BE9260-70CE-438B-852D-D0A834A05A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$BE30C4B9-0F15-4094-BA66-3470F116DD5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"023e548f16fc9dac71b711dfefeefa304a0217ef","datavalue":{"value":"4049012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102099$D22ADA66-1BD3-4D4D-B7E3-1F88EA9021B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$016D2039-FBAC-4629-B606-49FADD208FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bac76556838fec74747b483905bc212390269ca","datavalue":{"value":"systolic networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$9940B0A7-5871-4606-BDF2-FFF508E5AFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3ff1b0dc7fc21f7ac2a94bddf8a51a442d46b4","datavalue":{"value":"VLSI cellular networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$9EFADF31-5108-407B-99F6-AC2E716A93FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$C73544DE-BA20-4A53-8058-958B32EB73A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6213b2cb128d8a353825a20c2c77c717ab775dbd","datavalue":{"value":"self-timed computational networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$22AAF2D1-BCC7-452C-BE2C-3434B5C9798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce02b49e5801d715b9025f3908e1d5c67bc83514","datavalue":{"value":"algebra of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$B7D30EF0-7402-455E-B5AA-9A2FA1813A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102099$DA0A7DDB-4801-49B7-8732-D1C36BDE7089","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bfc09f416a15e699bf32e08ac6a9287135f8e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1162114,"id":"Q1162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$B71ECF3A-A0DC-4726-A522-28FC5393BA3C","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":"Q1102099$F8DD9F58-A798-4750-9C19-67ED3DE21A47","rank":"normal"}],"P223":[{"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":"Q1102099$C40BFF03-C78F-4FEC-A297-DE17022D55EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039b377d08e0a230939a8439d1f12c5a8b483a30","datavalue":{"value":{"entity-type":"item","numeric-id":1151025,"id":"Q1151025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$7B301229-51AA-454A-8EA7-FC916631F85D","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":"Q1102099$8D1109FA-D646-41C4-9FF9-DB35777290AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413a0a365324a741f3284f4c38648485503b736c","datavalue":{"value":{"entity-type":"item","numeric-id":1822920,"id":"Q1822920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$36BF3286-28D9-4FCD-A836-3200E0C73563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca01c0741f90569c50bc206bda2daaaa787c29b","datavalue":{"value":{"entity-type":"item","numeric-id":3338117,"id":"Q3338117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$15A3A8AD-2136-4549-B59F-EA124E552716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6e5500993cdc9056b2fb26a67b43f0fa7c1dff","datavalue":{"value":{"entity-type":"item","numeric-id":1064789,"id":"Q1064789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$088D805D-F6B0-490C-B6D7-9ACA5300EB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e445c2ab368bd27db71f598bd3200612eb7e7d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$E9AAA552-4421-47C9-B064-4C831D7ED7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b61bf22af988b8c847b78075c0e601511a9671a","datavalue":{"value":{"entity-type":"item","numeric-id":1143166,"id":"Q1143166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102099$69C4F65C-2E15-4B51-9CB1-72AABD46EC10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a0823fbee8ce54ee6e908d466a6fd4b4e0f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":3338117,"id":"Q3338117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152e1f6bad0db11beb0a47d2af615d8a84ca002a","datavalue":{"value":{"amount":"+0.7807875871658325","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":"Q1102099$A867D027-8B43-4639-BC90-9F5FB0087EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b98719662d2e709cde8b950e002e226e3b548e","datavalue":{"value":{"entity-type":"item","numeric-id":4787224,"id":"Q4787224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016919428a3e5862af2514c33fe749b789c8da01","datavalue":{"value":{"amount":"+0.7384309768676758","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":"Q1102099$3117FEF5-EDD8-4E0F-BFA2-B456456205AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b508306c1d0e50a2e15277e47d09495efb449421","datavalue":{"value":{"entity-type":"item","numeric-id":3690225,"id":"Q3690225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ddd88a501a203d889d35bbf8d0c07393ec6eb26","datavalue":{"value":{"amount":"+0.7172118425369263","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":"Q1102099$B9B1F5B9-083C-4C38-BD5E-E21B76481DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25886f21bd7566e2c4f5b21a62f066d1fd8263ba","datavalue":{"value":{"entity-type":"item","numeric-id":3823149,"id":"Q3823149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7383bdf31b6d9fa5db0f9fc3fa50ebf20ac4fafa","datavalue":{"value":{"amount":"+0.7029164433479309","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":"Q1102099$4F8038EA-EA74-479E-892E-72F6C98CEE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029c5258001484b5db028f67c70e78f8a93ad1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1189257,"id":"Q1189257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795c7cd5f13daef559f0d917c54d37738be70bf4","datavalue":{"value":{"amount":"+0.7027482390403748","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":"Q1102099$939B9A83-F362-40F5-932B-0F10D950C766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of a class of self-timed computational networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_a_class_of_self-timed_computational_networks"}}}}}