{"entities":{"Q1207946":{"pageid":1218695,"ns":120,"title":"Item:Q1207946","lastrevid":69888186,"modified":"2026-04-13T11:01:21Z","type":"item","id":"Q1207946","labels":{"en":{"language":"en","value":"Iteration theories of synchronization trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165619"}},"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":"Q1207946$A6F75975-5D34-4368-A570-FE5D933A2237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2749e39b7dd354b0a10d053b860cbc04a82e060b","datavalue":{"value":{"text":"Iteration theories of synchronization trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207946$6C1C1597-9316-47E0-8F55-EAE3E6B867F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f76db4ad0ea39611ebd1bd874b98a2b020a64e3","datavalue":{"value":"0780.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$6AEB5200-313A-47D8-9CE8-823B9E4AA814","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207946$31AA6391-28A2-4878-930F-869A10A38D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207946$949578EF-A311-43E4-A85E-B23A65369B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8c3030df4023386bafe1ba843a2887d4e7eca2","datavalue":{"value":{"entity-type":"item","numeric-id":582132,"id":"Q582132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207946$31A5CE0B-37F2-4901-9FE2-7C88E94F5F0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207946$CD055592-54FA-4B49-8782-4A8F4D57D24F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q1207946$73DDB54A-4159-4E37-88E7-11013943C178","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f77f227bab6c32ea9a6ddfa1c57758bf67c74a0f","datavalue":{"value":"\\textit{R. Milner} introduced [A calculus of communicating systems, Lect. Notes Comput. Sci. 92 (1980; Zbl 0452.68027)], and used (1984) synchronization trees (STs) for describing the behaviour of communicating processes, and conjectured that the bisimulation equivalence classes of trees can be characterized within C. C. Elgot's iteration theories. The present paper proves that Milner's conjecture was essentially correct and shows that STs form an iteration theory in a natural way, namely an \\(\\omega\\)-continuous 2-theory. Grove theories and synchronization theories (as preserving a grove iteration theory morphism) are introduced. The regular STs are characterized as free synchronization theories, and their corresponding axioms are provided. Finally, the bisimulation equivalence classes of regular STs are shown to be freely generated within the \\(\\omega\\)-idempotent synchronization theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$F456E83F-58FB-4E5E-A015-45811B4C0380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$EBCF4E6B-C5CA-40D8-A620-A45043FFDA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$A88365DB-1C43-415E-982D-05C53DA384AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$AA17A583-3530-4021-BCB3-CA9E1C1E43FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$CB24B4CE-6098-47E3-8364-FF0BBE02BE61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c27a1d5506a1d806ab826bc3098d94facd699f","datavalue":{"value":"165619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$1CD22D90-62B9-4F13-A997-B0E895A0CED9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b682dd00ffc7812b1fba1c9e585201b63e6b9f94","datavalue":{"value":"branching time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$11965BE0-3A7F-4AAA-83CD-06D29FD39453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8778c1b27a823e27890fef077ae9c48d377f0562","datavalue":{"value":"synchronization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$F457CA0B-4800-422E-A8EF-C638A875AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656e9fd025828a6267e725707cc84232244e881","datavalue":{"value":"iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$EC59E6BC-1F7B-463F-8364-3061AABC6651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab7ef2379c4ba0d7033b8b97c109dc21b447b4f","datavalue":{"value":"\\(\\omega\\)-continuous 2-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$A2532560-232F-4401-A106-E5E7E57BCEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fccdc7a5cc2e6679773c596c74202db56d3e47f","datavalue":{"value":"synchronization theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$07155EBB-095E-4B5B-B58C-099F3F39A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54c72fab5dc131533b5a55fc9a03b43cde67bf19","datavalue":{"value":"bisimulation equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207946$FB7A6331-743D-405D-85C6-C5A99316A904","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207946$7C0F4841-231F-41A4-AC28-F7C86A6E1AF9","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":"Q1207946$C2D3701D-648B-4D0B-8250-980F0EB5E80D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cad5dab5239d53bc56638e923ed56f907a95379","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1207946$38C32773-EBA3-44CD-B57A-7DAE15EA469F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe295a4bec16c46efef63ea2bdd4c3441cf3e6ba","datavalue":{"value":"W1967390724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$225D452B-4F73-412E-BFB4-A54853CC8D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300a6faf7a13f2a70cb1194eabafc5242b7cd1e9","datavalue":{"value":"10.1006/INCO.1993.1001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207946$31B200C5-E381-44D3-AD5B-582649E8A27D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c092ff7c9f07b9a41a20700025ee81c95d79e8da","datavalue":{"value":{"entity-type":"item","numeric-id":1348524,"id":"Q1348524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d80775e72bd10272c9042e5cf4bb8f71fe15bf","datavalue":{"value":{"amount":"+0.8355802297592163","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":"Q1207946$885B58B1-E744-443C-8300-932B5199BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e8eef41bac1b48972bf36b6579e192f0dbca98","datavalue":{"value":{"entity-type":"item","numeric-id":3723714,"id":"Q3723714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8a3c2a38c5c36addb561914602e3e151024e11","datavalue":{"value":{"amount":"+0.80037522315979","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":"Q1207946$F089E9D7-66A2-4898-9829-E92DD0EFA883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c006ba9eb50c549bf378236906fd9de09dcb71","datavalue":{"value":{"entity-type":"item","numeric-id":3707426,"id":"Q3707426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02b672c11f45507b3ba3a09c8912e16d6079273","datavalue":{"value":{"amount":"+0.7808511853218079","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":"Q1207946$6F465800-CD97-4393-99F5-A903EE50C510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9138c2661842bd66e3aa7c7bca34da6faad9c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853939db9af18c78df2ece77ec7e327a95be2bbd","datavalue":{"value":{"amount":"+0.7781440019607544","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":"Q1207946$4C79CF63-F647-4D4E-84C3-77E3F6CA6B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711612d6fa227cbeee5cacd3bf1a22b1dc3d4478","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d7762fcf4a7360687ecf5a4ae02747b95fb006","datavalue":{"value":{"amount":"+0.7778627276420593","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":"Q1207946$1FCD1499-E6A3-4848-92D4-D28AF0890256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iteration theories of synchronization trees","badges":[]}}}}}