{"entities":{"Q1110338":{"pageid":1121087,"ns":120,"title":"Item:Q1110338","lastrevid":66452358,"modified":"2026-04-12T10:10:16Z","type":"item","id":"Q1110338","labels":{"en":{"language":"en","value":"A distributed operational semantics of CCS based on condition/event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4072394"}},"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":"Q1110338$DF072A6F-2746-4C1E-83BB-B9012CC92FC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5e66f706c430af47041ba01b5b12d01df99ff61","datavalue":{"value":{"text":"A distributed operational semantics of CCS based on condition/event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1110338$206CAAA5-D0CA-47D2-BFE8-ACE19A3856E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cad2696e1f7864a1932fbf0eeb4bf82a15c04c3","datavalue":{"value":"0656.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$B0D600D4-DA21-4D9B-8E95-7E7E2C301068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63a8a7a278f7b2c640d8673ab801609ae772200d","datavalue":{"value":"10.1007/BF02915446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$9DF5BB6A-09AA-4922-B65D-7AA05A266784","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$A593125E-2BB1-4BC3-A490-187691D129BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$C11A3619-E947-46D2-BA4B-C5D43E679758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$A779BCDE-6A43-4474-B3F9-2AD7274AC221","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$9C0BDBD6-A4DF-4B77-81AA-2B95E731F86B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1110338$DAD1BA99-5F33-423B-BFBE-ECE88B8E6479","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0466bd9d764e0b70c70c731569a541b22328bb6a","datavalue":{"value":"A new set of inference rules for the guarded version of Milner's calculus of communicating systems is proposed. They not only describe the actions agents may perform when in a given state, but also say which parts of the agents move when the global state changes. From the transition relation a particular Petri net, namely a condition/event system called \\(\\Sigma_{CCS}\\), is immediately derived. Our construction gives a semantics which is consistent with the interleaving semantics of CCS and exhibits full parallelism. The proof consists of relating the case graph of \\(\\Sigma_{CCS}\\) with the original and with the multiset (step) transition systems of the calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$55174565-C48A-4E4D-AE81-0272DC5624FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$A2E60527-FA97-4356-B7F2-50E995071F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$43F3074F-B0AE-47AA-B126-A2578F077AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$85C9EC4E-4AE2-451A-97F2-6A892CEEE2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$1923A981-7FC2-467E-A8C1-FF8CE1D2B1EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"274c897398ee60e8149e32fc7b204b0b4ee749b7","datavalue":{"value":"4072394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$2D1DC25D-ECA9-4BC1-B5E3-7AEF4D83A8EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$35DD6B15-ED5E-4513-81BE-F322C442DD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$CC3C155C-969D-48D5-AB09-5AD2898332FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$9A5F5F5A-4556-45A5-9859-5943A021FEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$89678C76-7398-44D3-A4D2-56DC51CD3B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8bbeca40e8f47fdb69a7110c2d97740c59de05d","datavalue":{"value":"condition/event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$25C6D9C4-3D74-43BC-9886-B56FBE2D0FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22115d1594fe386f6ec9265062a741d80ab52c","datavalue":{"value":"interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$E59CEE6F-D139-4106-A2DF-42DDAF5B058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1110338$CEF724A4-9F6F-4459-A643-823948473028","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":"Q1110338$C9F78298-E3FE-47C0-8970-2C63CBF4F00C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$C8D49D42-C2AB-4B1E-A580-276222C9ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$F633B405-DB8C-4585-846E-D6651D1DC277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979342d7472e5ce4e91edec79a102f7f54b957a2","datavalue":{"value":{"entity-type":"item","numeric-id":3670577,"id":"Q3670577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$BFDA60C3-BBFD-4402-9CFF-9971B472E1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5565fdfc3d5ed0e2739c1b3a8718649d3cf2c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3687696,"id":"Q3687696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$A3B06312-A511-4AF2-8CC2-AC754D1803B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7468c4023394b3ea3c8450d2f7ae2e84e316c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3774958,"id":"Q3774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$932DA521-6BB2-4936-BA8E-BD6DAE95C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$0D64595E-92BD-47B6-9439-1F6B7A821284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$60843FB9-014F-4214-85A5-9FE52ACCD675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$F62EFDFC-2191-43FA-940C-2982490A460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11de669eeab4f1a236088e4af70e198be59f7462","datavalue":{"value":{"entity-type":"item","numeric-id":3905908,"id":"Q3905908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$228E447F-6946-4477-B2B4-54D4A988C7D0","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":"Q1110338$BBCEB71F-025C-46D9-A2E4-F77D16122402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$B9034487-0FEC-4BA5-B5C3-9D81BAC50738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$38CE1C6A-4C23-4C2F-B5BE-334F9BF5B346","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":"Q1110338$17437065-2971-4D29-8FE1-FF160CC56B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$A835CF91-1E4F-4E09-B294-6888BCA36E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$64DAD71C-CF2A-48B7-A1DF-C162E2AEECDD","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":"Q1110338$E0826B6E-CA4B-42F5-8916-808BD4C9A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1110338$F66C788C-F0ED-460D-9FDE-753057BBC466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1e2ac4613203735dc579f46339039889c4968e6","datavalue":{"value":"https://doi.org/10.1007/bf02915446","type":"string"},"datatype":"url"},"type":"statement","id":"Q1110338$EE4B3EF1-1585-4998-990F-538EC264C2F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f575feeb84d10937872db4b94b3ad8e3bcf980","datavalue":{"value":"W2035959929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1110338$EF6A911F-D8EF-4279-ADD9-B22673833157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9f15175c906df1a321bc194ee83c9b57fe557d","datavalue":{"value":{"entity-type":"item","numeric-id":3774958,"id":"Q3774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae09b730548d57a67782877a8e22a9899f85158","datavalue":{"value":{"amount":"+0.8346349596977234","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":"Q1110338$AEFCCA53-2A7C-42A0-A15D-0F6443C7EC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20597bc25a4e7ac134b63bb5b95e64d22f6e4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63da91529cc9f38b35b52318101fb6d1ced25663","datavalue":{"value":{"amount":"+0.7983672618865967","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":"Q1110338$88B8AEB9-4E18-4FBE-A78D-C635FEFD4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a7a2fc0d55bea040636f63c9d7b7e081a95f65","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ab910ea23b36dc276f217515475aa2192b8d18","datavalue":{"value":{"amount":"+0.791696310043335","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":"Q1110338$0DB38EB4-742F-48B3-863B-D5EF7359CF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f055ef19976c348ac8ba131b4ca767c010e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2da9ef41ce07dd8abc6db7798736bb55e925d0","datavalue":{"value":{"amount":"+0.7915858626365662","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":"Q1110338$E8CF020C-E67E-4940-82F0-CA4273CBA74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a858bd02d4860d878b9dd2c8ec647b61f64afc","datavalue":{"value":{"entity-type":"item","numeric-id":3821598,"id":"Q3821598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8a2f58f067b5392879b9651cb7881e45a5b6f3","datavalue":{"value":{"amount":"+0.7769032120704651","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":"Q1110338$DC4763D7-1D61-464B-97DD-890DFF7D77CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A distributed operational semantics of CCS based on condition/event systems","badges":[]}}}}}