{"entities":{"Q1067408":{"pageid":1078160,"ns":120,"title":"Item:Q1067408","lastrevid":66200454,"modified":"2026-04-12T08:13:17Z","type":"item","id":"Q1067408","labels":{"en":{"language":"en","value":"Algebra of communicating processes with abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928335"}},"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":"Q1067408$9CF5AFB7-0A83-4455-B4F6-146D67908EC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc45e9018c93f2bc25d7c9498d94fb20d7cb9117","datavalue":{"value":{"text":"Algebra of communicating processes with abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067408$B197E6D7-B7D8-47E0-B38D-C216BA8D717B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f0bd20a463cc033b48ca0a298a1199dc38a9b2","datavalue":{"value":"0579.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$A48B66BF-9FF3-4052-B0CC-BBB87B625DDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53c6fa741c652bae0070b6e9976623d036d6d7f1","datavalue":{"value":"10.1016/0304-3975(85)90088-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$1AD5100F-CD57-4F16-AAF1-CC1FA84DB5DB","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":"Q1067408$E105E99F-32AF-4DD1-93E6-5125A8638D4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1067408$BA7F5825-083D-4B45-AA0E-7F15D4A76009","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c93e15635674736fe11e339bf148743cdda27ca","datavalue":{"value":"This paper presents an equational axiom system \\(ACP_{\\tau}\\), for communicating processes with silent actions (\\(\\tau\\)-steps). The system is an extension of ACP, Algebra of Communicating Processes [see the authors, Inf. Control 60, 109-137 (1984)] with Milner's \\(\\tau\\)-laws [see \\textit{R. Milner}, A calculus of communicating processes (Berlin 1980; Zbl 0452.68027)] and an explicit abstraction ('hiding') operator. By means of a model of finite acyclic process graphs syntactic properties such as consistency and conservativity over ACP are proved. Also, the Expansion Theorem (which breaks down a parallel composition of n processes) is proved. By means of a term rewriting analysis using Dershowitz's recursive path orderings, termination of rewriting terms according to the \\(ACP_{\\tau}\\) axioms is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$04EBE0DD-0825-4A00-AAC6-8F0307E97BF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$5B82C756-D618-4EDD-B6A9-1C6C8CA16397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$2A70A79C-ED67-4C7A-89B5-EE98A44D7279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$8F5F6BBB-FB54-4489-880E-BEB8937D37FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$CDC290B1-28F5-40B4-AFDD-7B5382DD8D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$F5B0A3A4-64F9-422D-96CE-953B4AFEA85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"114877bc13020bdc0f66b9499c750eab3e35fb92","datavalue":{"value":"3928335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$3F6F21B3-6CBA-4DED-9C0E-5685F5F0A883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$34597192-2AA6-4743-9194-8983EBDE2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4b16f4dbc4c3fc3c12e92359493b0e4be4b7ad","datavalue":{"value":"internal actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$E37C66DF-EFE0-47AB-8B4A-AE1D06BAFDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$32CD738C-A031-4326-9AF4-BD4DD5AC969D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74f2cc884124fc77033ed7440a07d17ce55038b","datavalue":{"value":"process graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$0809B04B-27A6-481F-AA59-69127E01EE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eeb6dd5e4272a6266e60fa088fc79c8224f77d1","datavalue":{"value":"handshaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$B6AD8658-83ED-4288-B237-F9EBFCC20DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e18b579433ebdb7b1d4346328afb2f0005625a2","datavalue":{"value":"terminating","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$B7C3BE3C-31F6-436C-9F8F-E14485F25C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$CF5A0330-9F7D-4D49-B869-998E19F36F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$19D88067-A8A4-4A04-8DD7-2A863122D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5132f6db59ddd8455c3ea0a85298216a0bd78eb9","datavalue":{"value":"equational axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$4D72F6EE-3D0A-48A3-9A4E-EEF3103C502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$A0538132-A1D2-42AB-8BD8-A2C578C732C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55aff137a512b95147861692ac5f6cc806056a6","datavalue":{"value":"recursive path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067408$409CC47F-2C7C-4775-BC45-821D4F13765E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$6321AF2A-C5A0-4E65-9F76-192227C0E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$25AB1875-2D22-4560-BDBB-17BBA4DE0621","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":"Q1067408$ED0EDDE6-B721-4A40-B7FB-C8974D1A8628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$3724EA28-4B77-4731-9299-4FDC6CF56867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$8529E29C-9CAB-4A26-AB9F-F465586BC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$F9EDD85D-366E-4093-B4D3-6973578EEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$03D47AA2-D0C8-452A-85AB-6552C725889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc12c5ff355b3912dfc3cff3dbe48574dd3f3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1084850,"id":"Q1084850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$DF8749C3-D3A5-44BA-AB03-1F5986EDA967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$9F160782-F3D6-4198-81A3-36F9EBDAF2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$78BBF514-022A-43C6-925B-9E63370C28C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$D6C3B3E8-7AE2-486E-A06F-F55C6B62DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f169d1d0deaac447dc236e44ef2dcda7febabf","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$442EAE9E-FAA7-478C-8DE9-4A245B6F4C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$8623F5B5-FF5D-4B84-B2BD-FB48A983E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$DFED9736-3F0A-473F-83AF-4690FB5E1594","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":"Q1067408$3CC222AD-D786-46F9-8F26-7EA1697E0B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e7e42f0d59f3b7c473c361351331160cd12546","datavalue":{"value":{"entity-type":"item","numeric-id":1348524,"id":"Q1348524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067408$2C0FFABC-C06C-4F89-A045-69309BE6AE72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2c6fb192b96a1502634e574509d367e7d830c2d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90088-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067408$0E04BBA0-8C68-4785-B92E-1AC4907FEA32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d74bb5edf30faaedf1ecd8826e49c9682f30a72","datavalue":{"value":"W2158942489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067408$68CC254A-F985-4CE9-A03C-D46DC3CAB66C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899e993ea444de89a246a3c63b9df0783861a904","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc82f4c9b2ae5492eee2146a9b6efa4f9928b3a","datavalue":{"value":{"amount":"+0.8405138850212097","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":"Q1067408$FC2305E5-CC1F-4F02-8723-6D64F007D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def56ff7c15415f0399aa283662b750d1d384ad4","datavalue":{"value":{"entity-type":"item","numeric-id":998092,"id":"Q998092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae2da2c023c9bdba990cc09545e10acfa6da47a","datavalue":{"value":{"amount":"+0.8244394659996033","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":"Q1067408$DCD7C191-3655-4417-BE63-0069A55FAF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d672eb639351333f9fe9302176dd95b18e620185","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7143980bea79360831aa0fd3d082993300bf913e","datavalue":{"value":{"amount":"+0.8147386908531189","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":"Q1067408$CFB81BE4-D648-4BAB-A113-C698D05A0543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802dda257a7b48f5519976626fde11408dbd9833","datavalue":{"value":{"entity-type":"item","numeric-id":4013244,"id":"Q4013244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55257d8730e873557e5d4ef4648a74ddfee6d8c","datavalue":{"value":{"amount":"+0.804157018661499","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":"Q1067408$37EB57DD-8F78-48AB-BF96-9BE3496FE856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a5552e19af787665a52e17622a4d1361878844","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84be51f89c9edaf7dc61e617e63e795901edc9c6","datavalue":{"value":{"amount":"+0.8022584915161133","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":"Q1067408$11859B8F-F995-4C16-B22A-BC1719F5F33B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra of communicating processes with abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebra_of_communicating_processes_with_abstraction"}}}}}