{"entities":{"Q1106660":{"pageid":1117409,"ns":120,"title":"Item:Q1106660","lastrevid":49193269,"modified":"2026-01-06T18:03:31Z","type":"item","id":"Q1106660","labels":{"en":{"language":"en","value":"Global renaming operators in concrete process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4062566"}},"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":"Q1106660$A810E18E-F223-4311-9FF4-79742F2093E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfe440b3c52638a16131a139e1182b7b8b850d2d","datavalue":{"value":{"text":"Global renaming operators in concrete process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106660$5D0FB1F9-5BB8-416A-AA37-9DCCC9418327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eb81f0a88339bb308a65a875ec4f63bd4171df2","datavalue":{"value":"0651.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$B50C9E54-9027-44CA-A840-3F36AD4D4786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4ef0f53282d175602ede4f7c9cc4cac89d48b84","datavalue":{"value":"10.1016/0890-5401(88)90027-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$F7D3B16E-3B79-49D8-8BEA-CE7DC64F7695","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":"Q1106660$BFED4CF3-C3EA-441E-9B71-06E45C840118","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":"Q1106660$57486974-B5AD-488A-83B3-BDEBCD8A6208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7775294ca4b2fea514ada60e4472101b108bc3ea","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12722","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106660$CDE0EAAC-212B-4351-9C81-A2D6E8C852E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"824cff36544b58964a6d02dc5ec79b09c9950289","datavalue":{"value":"Renaming operators are introduced in concrete process algebra (concrete means that abstraction and silent moves are not considered). Examples of renaming operators are given: encapsulation, pre-abstraction, and localization. We show that renamings enhance the defining power of concrete process algebra by using the example of a queue. We give a definition of the trace set of a process, see when equality of trace sets implies equality of processes, and use trace sets to define the restriction of a process. Finally, we describe processes with actions that have a side effect on a state space and show how to use this for a translation of computer programs into process algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106660$146FDDF3-831C-48FA-B471-6E7A81237E13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$38456768-15C7-4687-A426-4649AC1F011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$BA0D7EFB-B8B3-4C4B-875C-09FE4E280F8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d4af952917117238063fea0539576a05e0029d0","datavalue":{"value":"4062566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$DC418EBD-A06E-42C9-AF72-A40ECCC587F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106660$9E201224-804C-46DB-92E1-DD44CDC44FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08acc555ba040688947ffcc95a63394ca0923bc","datavalue":{"value":"renaming operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106660$0FF02508-5E7D-4477-8C42-BF7ADE196083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4f6537b865d2453f369fe70db5904a6f8a3b81","datavalue":{"value":"trace set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106660$D22308B4-1AB1-45FB-B414-C75924D7BBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb930fb9a4b4a4d50c2c8565f744a5c71042408","datavalue":{"value":"side effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106660$AC5B6600-7BBC-4915-8C8C-1F428742A0B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$4AC0193D-E349-4F82-A6DD-DFF06498C05B","rank":"normal"},{"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":"Q1106660$AD57C91E-D0A9-43A7-B7BA-270A90A7D88D","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":"Q1106660$3AC4B96D-5D3A-4C16-9914-225CE1F753B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaa794b7d1c90034bcd644337d30178a3e228df6","datavalue":{"value":"W2136133653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106660$33294302-981C-408A-8264-44A78CF1CDBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$7E2A407C-657A-4874-ADE5-3E888E6A031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$7E886462-1511-455E-9F99-AAA09191AE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188f97c082fce1ef94d55797d1aec36a692b0216","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$8DD85F48-6AC7-4A35-A03E-94029E86B523","rank":"normal"},{"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":"Q1106660$88BB3840-69B9-42DE-905D-8D6FB0C998B6","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":"Q1106660$3322BA41-4439-4064-93D2-47FDE62DE0D4","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":"Q1106660$A21BDEF6-4F46-44B0-883D-9B123191EA1C","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":"Q1106660$3CC0F174-D4EC-4EF1-9578-4F2DD6206EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$680809B4-58C9-43BC-B243-4A19CF145235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083e96e7a8764e4b42a07887c780cf9079c2d0f1","datavalue":{"value":{"entity-type":"item","numeric-id":3702500,"id":"Q3702500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$0B1E7A14-90BF-46EE-9737-99636EAE5E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba6734b6fc49582a58fc945afbebf33bcdd5a92","datavalue":{"value":{"entity-type":"item","numeric-id":3776607,"id":"Q3776607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$560B85A3-2152-460E-9DC6-891876817FF1","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":"Q1106660$A6181E37-0F68-418B-8099-4BD5CDB475B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$D76481C6-34BB-4E50-8843-E2E15A7E31BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$9F5ECF83-BE2C-4573-81B9-9141B6AADBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$79F49C57-94D4-4803-AB29-D21608FC157E","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":"Q1106660$921A526B-A9C9-49CE-8078-B837B86B6F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$FD36D987-D55E-45B4-9BD1-09DCD193114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5449964b08cd0bc7034bd9be1cb1565a9af14ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3664405,"id":"Q3664405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106660$75B70E1C-1836-47EB-AE64-0394399CDBD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80cc7d0324e5daa452c2285bbce9cfc9257cbde","datavalue":{"value":{"entity-type":"item","numeric-id":4526151,"id":"Q4526151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681a92b4ba99b4b2cee6b171602d44a2704a7184","datavalue":{"value":{"amount":"+0.7006065845489502","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":"Q1106660$321599BB-B45E-4CE7-8CF3-1A9973628662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7d1d676e35a01b9158b72a13a45cc2495e8209","datavalue":{"value":{"entity-type":"item","numeric-id":4872451,"id":"Q4872451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f4c9e05dd568790d4e6eec52b7259538bca86c","datavalue":{"value":{"amount":"+0.6618971824645996","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":"Q1106660$CE5A3520-2C26-425A-81CF-6C08895B980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeb0d798573ad1642f2d41f77dd8eb4e2388fa","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f4c9e05dd568790d4e6eec52b7259538bca86c","datavalue":{"value":{"amount":"+0.6618971824645996","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":"Q1106660$19BEDB3D-0F3C-4241-80BC-E20E6D31F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5e43c02fa9988785fcd7278b1d8aa3540e03e2","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a1c3f8737d6e61e4d7e6b426976263bca4ae36","datavalue":{"value":{"amount":"+0.6596049666404724","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":"Q1106660$7EA091F2-0350-4650-981F-BADA66288D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf918aee25f8854ed36a797f3939ce9175258601","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373f3af06b8a37f808de62b0cab2d2614d5d0f1e","datavalue":{"value":{"amount":"+0.6561393737792969","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":"Q1106660$2F8B52CC-2BEB-41B0-B3B7-CDF248D0C0DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1106660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1106660"}}}}}