{"entities":{"Q650891":{"pageid":652740,"ns":120,"title":"Item:Q650891","lastrevid":63319983,"modified":"2026-04-11T12:04:46Z","type":"item","id":"Q650891","labels":{"en":{"language":"en","value":"A timed calculus for wireless systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5986990"}},"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":"Q650891$6B7C74CC-722B-4C48-9DD3-E4176F3CA315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244f2a66dd6633fc62042010b5c156422b95baf4","datavalue":{"value":{"text":"A timed calculus for wireless systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650891$C78F4489-59FA-408F-82A9-A0353A60B352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a59e19f33a833889b6f87d35215167f934348fd8","datavalue":{"value":"1227.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$F736C00D-2A1B-449F-959C-EDD141C91581","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f45fe6dc3b8556795c0f1b2b367086cafbbbbd7","datavalue":{"value":{"entity-type":"item","numeric-id":470041,"id":"Q470041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$2FF26736-B2DC-4C01-B174-DBAA3AD26323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c425682567e126a087306499444c7449fb93797","datavalue":{"value":{"entity-type":"item","numeric-id":650890,"id":"Q650890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$92E12F7B-7F8F-4441-9743-760EE8BE79CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f2054700087a43e6f0ff05ec80c2b9e8ad5b514","datavalue":{"value":{"entity-type":"item","numeric-id":470042,"id":"Q470042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$4AE5B560-2FC4-43EA-B93A-188BC8F80105","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":"Q650891$7210FFF9-43FC-4ECE-86F4-E9CB657F3ED4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e38c6f1e03c0365fe5e243370e140f97607764e2","datavalue":{"value":{"time":"+2011-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650891$B6095132-8418-4C5B-96D6-265F97217995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$06BAE0E0-0AA4-488E-B1F4-C75CB79C6631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$D9DA917B-839C-402A-B7AF-F2ABBA588D1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a5cfcacb9c88bc1a8b022402d4ece453460c41","datavalue":{"value":"5986990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$6BF383FF-FFDB-418F-9B0D-11B98FEA5699","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da920d119e0689e443bd373a8c4647af7ffdb76","datavalue":{"value":"wireless system","type":"string"},"datatype":"string"},"type":"statement","id":"Q650891$ECEE6962-7447-467A-9DE5-73213E2DB220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00ba71f1e6a1f285cd76bc14218903e99f32636","datavalue":{"value":"timed process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q650891$70D1B74B-1BB0-4146-8D0D-DC960553DFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd37160e7ef92ebc381c49d109b158ee25ef0a17","datavalue":{"value":"local broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q650891$E0FF23FF-0243-4626-AF23-DBB578995CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d09b9ff6d235dd4083d290672fd02a03ec7c6a","datavalue":{"value":"communication collision","type":"string"},"datatype":"string"},"type":"statement","id":"Q650891$AB18B783-B09E-477A-A8F9-4020968C6A50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$F4DDD454-9F91-4A87-BC27-81ECF38DD830","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":"Q650891$A6834075-C53A-4D2E-8D27-7D68A21D7EFE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"72b379eff504924282d1666b46d3761e64bcf5bc","datavalue":{"value":"Q62041634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$15907368-063C-4650-B677-2D1BFD5440D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c13fa174c205564662ce2f8cf115343ffa5acc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.07.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q650891$39E36C54-4EEF-4FF9-AD1E-6BA5D8DD2DBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08ddb30c9480a24fa37cccb0bcbc20dfcc73dbe3","datavalue":{"value":"W2056267966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$2398CA93-CDA6-4FF6-9E52-69B087758C9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5267fc1d11c25dd2dba00cf39924a4f728fc42","datavalue":{"value":{"entity-type":"item","numeric-id":2365760,"id":"Q2365760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$875B999F-34E1-4527-90E3-A5A6649898D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$6B8CD5B6-F7DA-4AD8-B5CF-2DDD9D881965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$E96A48C5-F883-49B6-AC32-33A9B045015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a04257164f4ab48f530dbc97a6b65dff5122bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5494306,"id":"Q5494306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$C9010345-6BD7-4453-AD4E-46B94C53796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$FA52C203-8A05-41DA-B2CE-0B943EC82378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$89A0B078-E24F-4BFD-B692-E56EF285B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6779191cd8c1961961953c405806b5ee830c45","datavalue":{"value":{"entity-type":"item","numeric-id":3735065,"id":"Q3735065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$8ACE3130-C9AB-4458-91A6-0B77460396EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$2A5311C7-C1EB-4803-B109-E737C0C7195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41886fa43d23617b649f31ea572b1dfd90544b5","datavalue":{"value":{"entity-type":"item","numeric-id":5958612,"id":"Q5958612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$E8665146-43C3-4731-B099-79C4525E182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915123bb4ee563d3c976a56a2dde83f232170f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5941628,"id":"Q5941628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$BD8C3D3D-3D8C-431F-B943-949E33B39505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c225edf766d40a238ec949acca28f09612d9a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3400916,"id":"Q3400916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$45C4F391-500C-4E21-9586-A148CD29F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d901782a5abbe36ac8a405a32d3d3554a95b77","datavalue":{"value":{"entity-type":"item","numeric-id":3634642,"id":"Q3634642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$A5FB4B36-11BB-43E2-8225-5E139FB5F7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8437853d077a4148eaa989d380ae787789d492f6","datavalue":{"value":{"entity-type":"item","numeric-id":5170671,"id":"Q5170671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$6946FB97-3DAF-47EE-B92F-F40C2601E154","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":"Q650891$08A2B635-6F7F-4A73-9E37-BD084621DE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b25e1f9870e2fa30d4473980293c0f77342293","datavalue":{"value":{"entity-type":"item","numeric-id":5958774,"id":"Q5958774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$413570A5-9812-432C-A205-0178B54B67D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0bec0046128bf033442097bdad3aa49c4591ba0","datavalue":{"value":{"entity-type":"item","numeric-id":964487,"id":"Q964487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$6F7240F5-4373-4C91-A1A3-0C2D325F0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328f12ea54a5bfebb55a271159622ff3b3418ff","datavalue":{"value":{"entity-type":"item","numeric-id":5705884,"id":"Q5705884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$857F2319-BD67-45D0-9668-64744A95C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0032a5b4384af7cb1f9f36172066db01432392cc","datavalue":{"value":{"entity-type":"item","numeric-id":1012124,"id":"Q1012124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$5E4EB135-385F-4C94-A3ED-B94F7A28BEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$E21360CD-6832-4178-9521-8462709F391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$42856F20-C0F3-4F07-A9D2-3C77431B3649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$10C895E7-A3E7-4560-8AFF-F7F3701E688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d3297a439b2152fab157cd8f8e8d50aa1aecf6","datavalue":{"value":{"entity-type":"item","numeric-id":938827,"id":"Q938827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$12D18B4D-2537-44BA-9119-49D27B50E028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba43d90b6a6edc70e508b348ecb8505634a0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$ED83B73B-C2CA-455D-8B96-5A60925CABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$83B89E37-0521-4AA1-B52A-AD780016A262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347c0abf9fd71c2b2aab41a4b47d47a3aad9cce9","datavalue":{"value":{"entity-type":"item","numeric-id":5758049,"id":"Q5758049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650891$6731C620-7690-43D9-9955-DB41AF5D1A2A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b097140121be715f2b6a7fa6b54cce43da44b24","datavalue":{"value":"journals/tcs/MerroBS11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$F9F8CEA7-3004-4C9C-8ACC-94AF6DEF4351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18cfb8bb75d68d8bc02c2665c5fc6885d68680b5","datavalue":{"value":"10.1016/J.TCS.2011.07.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650891$00AB775E-7FF9-4B0D-BF11-5832E3D446FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a2b2d41490dea3dae4aa56ec00b601a8bde718","datavalue":{"value":{"entity-type":"item","numeric-id":3400923,"id":"Q3400923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82642240817295c6e601004675ef0d9d7d0a4838","datavalue":{"value":{"amount":"+0.969024658203125","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":"Q650891$90E59339-F278-4531-8727-1103FC6EBFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374bca7270fd20f3ff2d3c09b1c2d5ab39753e97","datavalue":{"value":{"entity-type":"item","numeric-id":5246724,"id":"Q5246724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2567c021fb296512c5a7f24f0376e6344ae89561","datavalue":{"value":{"amount":"+0.8948460817337036","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":"Q650891$EEB6BC04-2860-45C1-9EBA-0A2E424D6964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fa48e8c298158b8667c560032e6aeba9e3af8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851331,"id":"Q2851331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a87b56ac5cca04380f0ef89bc4b5a7adce0c65","datavalue":{"value":{"amount":"+0.809180736541748","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":"Q650891$A3D77B60-E290-4902-AAA9-7F65B3C40482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25308a7597a15a776da79b4b2442bd71b3948ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5286028,"id":"Q5286028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1477526bc23c405210146c0bd8bc360c7b7a29","datavalue":{"value":{"amount":"+0.7868267893791199","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":"Q650891$592550ED-0921-45A2-86EE-8485B75A433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58842b600fb9ea4c16dc25fc3a2a5dd335d1209c","datavalue":{"value":{"entity-type":"item","numeric-id":2830030,"id":"Q2830030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83967ef97eb9e13d25d0acd2972a50a00e6e875d","datavalue":{"value":{"amount":"+0.7799444198608398","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":"Q650891$503FD81A-F15B-4324-9E5B-10FA1433C228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A timed calculus for wireless systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_timed_calculus_for_wireless_systems"}}}}}