{"entities":{"Q1122360":{"pageid":1133109,"ns":120,"title":"Item:Q1122360","lastrevid":49288456,"modified":"2026-01-06T22:04:35Z","type":"item","id":"Q1122360","labels":{"en":{"language":"en","value":"Representing CCS programs by finite predicate-transition nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106279"}},"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":"Q1122360$8264C5D0-56B1-46DF-B96D-7121AE6B21E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1952d580333ab06bb9c9270b02da4261c271ce4c","datavalue":{"value":{"text":"Representing CCS programs by finite predicate-transition nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122360$DFFA32DA-90E1-4178-A39C-2DAE9E496773","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f25941b79b0d5228d73d053197e6d3b6ce622c48","datavalue":{"value":"0675.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$EF2B54AF-B0B8-47C8-B7C6-317A25AB0DC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6468857329f41bc847315a9aa3ade4f81fb7b12","datavalue":{"value":"10.1007/BF00277389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$20246097-1323-4EE9-AE98-284653F6C7A5","rank":"normal"}],"P16":[{"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":"Q1122360$491F2ECB-486F-420B-864A-7CA7272104E9","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":"Q1122360$C470755A-5760-48E8-B06F-F0899653E48B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q1122360$9D33EBD0-935E-4C60-966D-D77B501CF0B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"607137b35cd41d971c0c6c9288dda8799c6841d7","datavalue":{"value":"A construction is given which for every CCS program (in which every choice and recursion starts sequentially) yields a finite and strict predicate/transition net. The main idea is to put the dynamically growing information about action manipulation (i.e. renaming, hiding, restriction) and parallel synchronization into the tokens of the net. All other information is static and can be encoded in the structure of the net. Consistency of this construction is proved not only with respect to the standard interleaving semantics but with respect to the distributed semantics of Degano, De Nicola and Montanari which additionally models the concurrency explicitly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$3BD3A805-7D32-4196-A673-38AF2391D81D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$2024F740-C5D2-478B-A507-B7E877BEDA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$D1611531-731C-47EC-BE56-BDD28EE4851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$917B04D4-D1E4-4C5D-ADBB-FCAE00C907C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$469DF712-9C12-4D5D-91D1-0E35DCFBCACE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca0a68d5af9b3d8607378df6f0e27e6be4c05033","datavalue":{"value":"4106279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$D29A68B7-1D2B-4F14-B8E1-BA06E4F0EF7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b7eebc708f22c1df35973020efdb22b926daf1","datavalue":{"value":"CCS programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$93458073-7952-4259-9E74-1AE6193D49A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad6f367d80ee20d2c51628676198f75410c102e","datavalue":{"value":"predicate-transition net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$48ACE86B-6F43-4534-8A56-F2EA920662CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$7A65830B-A806-437D-8366-538F92BF60B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e29b1f24557ed049671b29517b6f58d84445ca7","datavalue":{"value":"hiding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$D1F8B9CA-FCCD-4A33-A4D9-961142735742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c038f742f9f1069d466d6f6a77f640f9903657","datavalue":{"value":"restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$6048F446-B3EC-4F5D-9C05-3D2348996350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38345e10f32a42bbd1f20b399bdda527c1a285bf","datavalue":{"value":"parallel synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$36146DF3-2CF7-456C-B2A2-57D79EDCA1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22115d1594fe386f6ec9265062a741d80ab52c","datavalue":{"value":"interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$814EC87E-A20F-4526-98A6-5C2DAEE449DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f29ed029646791c76ef71cbd0ae01d4bf75a0df","datavalue":{"value":"distributed semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$0FD9F83A-09CC-46DE-80CB-9E6B9DD00707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122360$CD724111-F03F-4289-B947-142475636C50","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":"Q1122360$85F3EC68-3F02-409D-8788-3AD8086E347C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9aed85b0179cbb2cb6a29a6a3ae13ec1e0522a3","datavalue":{"value":"https://doi.org/10.1007/bf00277389","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122360$95977BAD-4DED-492E-99C1-E0A7A5A9AC4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c95ffcf1bd81ff3f3a32f216250f0eb128c8cdcb","datavalue":{"value":"W2064243576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122360$887A7E5B-9DC6-4066-8384-7B5AD92AEF3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51501e62123a0067007c2fa613788d700436d55","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c630a70c84cd7e444ef26d566be3cc27993908c","datavalue":{"value":{"amount":"+0.8914440274238586","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":"Q1122360$64374A66-A4F8-4129-92BD-2B7FEF8B6AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d1f89acc8320ca36b009f70426c8acd8c09c4","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a628cf1eb80577fd7e7232fb5f2ec5086057de","datavalue":{"value":{"amount":"+0.8522186279296875","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":"Q1122360$DC067138-78BF-4D21-9A96-7C476F81C059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa119bf67e0e7ec51c59b66e24d01f2a72c06ea","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae76e0c4633ce3ad0a84063c902c761a07a2f49a","datavalue":{"value":{"amount":"+0.8377832770347595","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":"Q1122360$DB04F72E-F625-4072-B414-FCFD4F4A2AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca28266efa19ec073288c96e84840d3b5dcade8","datavalue":{"value":{"entity-type":"item","numeric-id":3687725,"id":"Q3687725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8774c7f987b9a0b8bddd4ad180461867f066e1","datavalue":{"value":{"amount":"+0.834442675113678","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":"Q1122360$EA49DCFA-2E0C-4F3E-A0C2-E8A4123B2747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5665203833fdb13549a04fd087128ad10a12932","datavalue":{"value":{"entity-type":"item","numeric-id":3460873,"id":"Q3460873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656e59015431ffacde445b3b2e46ddb65d1df12c","datavalue":{"value":{"amount":"+0.8031805157661438","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":"Q1122360$69228E40-22B0-4A46-B2E4-BCD23DF5D05D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1122360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1122360"}}}}}