{"entities":{"Q1199544":{"pageid":1210293,"ns":120,"title":"Item:Q1199544","lastrevid":66465063,"modified":"2026-04-12T10:15:39Z","type":"item","id":"Q1199544","labels":{"en":{"language":"en","value":"Towards an algebra for timed behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94464"}},"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":"Q1199544$BEF8D8F0-DCA9-44CB-8565-88F756B97801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c5cc42b40406a029dcd4b5b039e377c0a1402d6","datavalue":{"value":{"text":"Towards an algebra for timed behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199544$C5937AE0-AA59-47D9-A78E-68D8094A0F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97bb07793d03dc06ff038d882883d80f53968d2e","datavalue":{"value":"0772.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$7B9E2A58-08C5-49D3-A94A-177AB97C9BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0461ecce2b441087d0bbfae6a1e425a0383264c","datavalue":{"value":"10.1016/0304-3975(92)90018-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$46FDA34F-BBEC-4F4A-A339-7051018F806F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$4F40336D-AB20-45F7-9EEE-6AA19AD2C387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3ce6860c9f24abb72be2a8ed80c37217077246e","datavalue":{"value":{"entity-type":"item","numeric-id":1028982,"id":"Q1028982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$A663F91C-D948-41D5-B667-3257853D7B5C","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":"Q1199544$79592A10-708D-4557-BC6B-15019C58B536","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199544$FAF99F95-4AF8-451C-81C8-1B6A235194DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e85dbd91634d42277607f9c7498b4c09d263a15","datavalue":{"value":"The concept of ``timed behaviours'' is presented, which involves the notions of Winskel's event structures [\\textit{G. Winskel}, Lect. Notes Comput. Sic. 255, 325-392 (1987; Zbl 0626.68022)] and bisimulation. Operations, similar to those of CCS, are defined on these behaviours, turning them into an algebra. A large number of definitions and examples is given, with the aim of making the paper complete. However, the complexity of the setting makes any nummary awkward. The most difficult problem is not addressed: characterizing the algebra of timed behaviours --- perhaps as the free algebra in a particular equational class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199544$A5E0AA3C-5D5E-4A6A-8D9D-298A11ADF2F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$ADE5AA18-CA67-4D93-9460-76E3C2020F7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$E7B62541-F9ED-4097-8041-3BEEC952FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$2C4DF2CF-EEA7-41D7-B19E-94146E96BD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$A88F285A-735C-4550-86F9-4480DE21FC29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0634974a74498e641b575d210d368de48650b6c9","datavalue":{"value":"94464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$E5EB8367-75DA-4BC4-AFDD-FC6C51640FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21f3f2465b636e8c44a0c34de8401c9b52093f5","datavalue":{"value":"timed behaviours","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199544$D89DD80F-EBB1-41B5-8EA2-C72E0A2DB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70dbc6c18de3e8315a3e4bea3ab1053e82604113","datavalue":{"value":"Winskel's event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199544$C874F0D4-78BF-45D1-991D-D89585DC80AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199544$41DF42DA-C986-4DF5-844E-727C434CF7E8","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":"Q1199544$B768BAB3-CAA1-48C5-B9FB-9D435602A9B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$8CAF7895-B225-4F3A-89F7-373947EB663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$4EB4DC81-978E-484A-87A7-44E724497A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c508c380e7212da41b69fff4bbdfa0f09904a32d","datavalue":{"value":{"entity-type":"item","numeric-id":3474896,"id":"Q3474896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$F49C92B8-6E1B-437E-8C57-993EB4D3E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905a48602495019691bb11b5b5a868036ebcdf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1199544,"id":"Q1199544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$1A575C65-2684-4004-BCD0-7B95DCC5AA6D","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":"Q1199544$F6E284B2-5329-43A6-B889-1B2AE219C9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$5BA2E15B-FA2F-4946-8BB7-2F8C9D72564D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199544$C8F14B36-9DDC-4F27-A53F-3B84D0C2291B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14f18effc2effdfee87deaecd47e9076be1e914d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90018-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199544$FDD1050D-8C16-4C20-99F2-4D5482CD0B8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0e566ac4138880a36541e18687ed2256f145050","datavalue":{"value":"W1994599247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199544$BEEF55D4-DA5A-4E87-A2DD-106D92BBCA67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc6f4390b257dd373c3e26d682b9e479193e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3008110,"id":"Q3008110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a52d2432a52fec5c3a57751520238cbe6c425e","datavalue":{"value":{"amount":"+0.7748013734817505","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":"Q1199544$67EF5668-2754-4DE3-8A8A-6E5BC1E6D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b2285a4da37bced6b470ca74a12fbe08531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfb393502a3ebd0562ce95e250faaf97d22e050","datavalue":{"value":{"amount":"+0.7693276405334473","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":"Q1199544$FF221F16-BE80-49F2-951E-BC5636AD5F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aa8e2ccfe52ead81af0335909a6fbdae593d56","datavalue":{"value":{"amount":"+0.7639964818954468","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":"Q1199544$CF4F381E-07FB-44D1-A527-9BFFB96B0AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5e61e5896c9cee313aefb3b5a62e634da7116b","datavalue":{"value":{"entity-type":"item","numeric-id":5494307,"id":"Q5494307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a6c5ff51e3bf9f926a5aa6f3689b3d461ad588","datavalue":{"value":{"amount":"+0.7613796591758728","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":"Q1199544$5D78A603-00C4-4B85-8DD3-0D6ABC52AC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa4d00adcc2f382cd4b3ff8cca0597733f4db2c","datavalue":{"value":{"entity-type":"item","numeric-id":2710790,"id":"Q2710790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f111bc10d8a8d79379713e393cc18935efa4ff3","datavalue":{"value":{"amount":"+0.7589332461357117","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":"Q1199544$3B69E6C8-4FD7-463D-B06B-5CBA9BF18670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an algebra for timed behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_algebra_for_timed_behaviours"}}}}}