{"entities":{"Q1198052":{"pageid":1208801,"ns":120,"title":"Item:Q1198052","lastrevid":66847236,"modified":"2026-04-12T13:15:25Z","type":"item","id":"Q1198052","labels":{"en":{"language":"en","value":"Finitary logics for some CCS observational bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92111"}},"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":"Q1198052$90AB0CD6-0B5A-4ED4-A3A4-6FACD00153ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"515d1373d68083efa02604388aa7ff3f35378e03","datavalue":{"value":{"text":"Finitary logics for some CCS observational bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198052$AD720B88-3746-49D9-B9E9-471D86678AF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527053c536d01509389f8b380d5b4b6673fa8feb","datavalue":{"value":"0779.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$D4427157-1D17-4B5B-9E15-F7A2DCF9597E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc17abad87100ade72e2cadf77e7a89b59e9e44e","datavalue":{"value":"10.1016/0020-0190(92)90141-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$7718BD8C-18E7-4057-B966-7CE3B11E6023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf73b27f7a0b11a5294d07426b23573cb1bc4890","datavalue":{"value":{"entity-type":"item","numeric-id":851174,"id":"Q851174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$43775F3D-48AB-47D1-8F38-7C4C54EE695D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$E348B387-E007-409D-A1CF-D0A559843F8F","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":"Q1198052$AD1885C4-1114-4761-A8F1-1ED458E5E8BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fed40ad8bc345bd8b31be2cf57b6a6f320e60a5","datavalue":{"value":"This paper proves that observational bisimulations for CCS which satisfy certain conditions have a finitary associated modal logic. The conditions involve information on the amount of top-level parallelism of states. This result may add fuel to the interleaving-versus-true-concurrency debate, since it suggests that the ability to observe internal structure of states (which is what distinguishes noninterleaving semantics from interleaving semantics) can lead not only to semantics which are more expressive, but also to semantics which are in some way simpler - their associated modal logics are finitary. Some cases of the result (for instance, Strong Equivalence [\\textit{R. Milner}, Communication and concurrency, Prentice Hall, New York (1989; Zbl 0683.68008)] and Pomset Bisimulation Equivalence [\\textit{G. Boudal} and \\textit{I. Castellani}, Theor. Comput. Sci. 59, No. 1/2, 25-84 (1988; Zbl 0678.68078)] were already known, due to Lemma 1, which was proved in [\\textit{M. Hennessy} and \\textit{R. Milner}, J. Assoc. Comput. Mach. 32, 137-161 (1985; Zbl 0629.68021)] and is generalized here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$4B834139-7C8C-4D07-A233-3D8372647AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$A82B851D-940A-4825-B2EE-CA13B02903D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$F215FE5C-15A8-4D1D-A039-8A21106C996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$B6CB9B44-B75A-4370-9DD7-919E3A1639A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852df68ab7a50a928716f4362fa37deefc80d935","datavalue":{"value":"92111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$CD75D556-5047-4996-9115-AAB469B48E13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73db06dccb4e682aa02fbc778dd2ed0b6e307227","datavalue":{"value":"concurrences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$7829A3D0-12F6-46F9-9DB1-AAF659BF0B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$7F3E2B3A-0F51-4533-92B9-6839082C6033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3df20eda18e358c3e0547bb3bfcbf9086a56464","datavalue":{"value":"finitary modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$946A73BC-149E-4EAC-8003-68AE9574680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9207311e47385217cf041b38000699d3ace852a","datavalue":{"value":"observational bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$645AB27F-1A25-4D84-8CD5-4E42D2C1E989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198052$1F359F54-CC30-4CED-A766-D7915106CAB2","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":"Q1198052$F4C7A15D-3672-4C87-B773-3B68E48AC07A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"529a94b166b6a1f460cb2dea7df802b6148b50cf","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$7F6AF211-4FE5-4EB0-99F2-ADDBAADAA917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed6dae7cc1c8231d4ad6357ee067e883f2b2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2736347,"id":"Q2736347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$7A474922-A1E7-461C-AEC1-9E0142B67EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$34374A73-1247-451B-90B9-689A0B85DBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198052$AFD2FBCF-4F67-45F0-9FCF-4D4E6462379D","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":"Q1198052$4F5343F6-D264-4EEF-ABCB-FD1F2910CD87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c8b4c605a9163e1f3f23d1335fd7f5b6473a960","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90141-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198052$1620959F-7E0C-45F7-B92E-BD3E13302A62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0771884cc5db8b62c17df70557ac51488c494efa","datavalue":{"value":"W2059837711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198052$A6451531-1F26-4ED6-B7F8-DCFA1FD8775A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be6e4690953a4de13c020298adf5656f1868960","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5796483bf112d0bd5f92c77390f5fdbb46a292cc","datavalue":{"value":{"amount":"+0.7878744602203369","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":"Q1198052$C42EDBE5-BCFF-4622-916D-716CF22012F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d959f06bba255999863baf98d8fab4a687699f","datavalue":{"value":{"entity-type":"item","numeric-id":1182130,"id":"Q1182130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031aa2151193f44051875bf5735039526ba0c888","datavalue":{"value":{"amount":"+0.7655616402626038","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":"Q1198052$953B9090-CD2C-4711-B700-1B8379859CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10faea875401b7de45de89f1ca21e6549535e","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2375fb8389534a7459525f30f0cd52d3aaa2ed8","datavalue":{"value":{"amount":"+0.763649582862854","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":"Q1198052$D0A78DB4-29C9-4A4E-B11B-2B447B904B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e025c7348c2723dc61202254a773385702e328","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da72da5318835700efdc9b8efdab39150dab1bc","datavalue":{"value":{"amount":"+0.7628504037857056","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":"Q1198052$6A32A14B-7B8F-457F-B7BC-43428797A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a01e39d09d17e42d1a73363c7547848e5ca00","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4884e4fc94b337b50ed286f673a301cb0bac680","datavalue":{"value":{"amount":"+0.7600352764129639","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":"Q1198052$8337B96A-1F8B-4CB6-96CA-0B2C7D61C880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitary logics for some CCS observational bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitary_logics_for_some_CCS_observational_bisimulations"}}}}}