{"entities":{"Q2365760":{"pageid":2376503,"ns":120,"title":"Item:Q2365760","lastrevid":72612465,"modified":"2026-04-14T06:04:43Z","type":"item","id":"Q2365760","labels":{"en":{"language":"en","value":"Towards action-refinement in process algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 222733"}},"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":"Q2365760$2096D8E5-E019-4F01-96CB-48DEBC87B9B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f6b2149cffde1928b6fed6315de54cbf522d857","datavalue":{"value":{"text":"Towards action-refinement in process algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365760$58382CC7-1127-4C04-A856-9A54AEDDAB86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a6ab6a834a0d89c64d7c16e3348f5f69fd1c760","datavalue":{"value":"0779.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$529FCE07-98C1-4512-899A-6C4894C8A69A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365760$AC3BE3FC-4535-4E34-AE33-4232DAF488C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365760$DBAD267B-66F4-43C3-ABA0-DEACB09F43C4","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":"Q2365760$CF9E27A1-1B63-40B0-8764-A961B93640C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2365760$F35DF5C1-9A89-4ECF-B0BA-EF303C8A9DA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f52665f6c814d181f56a1a755c3328b8b4a5d9f","datavalue":{"value":"We present a simple process algebra which supports a form of refinement of an action by a process and address the question of an appropriate equivalence relation for it. The main result of the paper is that an adequate equivalence can be defined in a very intuitive manner. In fact we show that it coincides with the timed-equivalence proposed by one of the authors. We also show that it can be characterized equationally.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$A7BDDDEE-56D3-4ABE-A7F6-37BAC73623C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$742E9DEA-50D3-4F6F-80E8-6ECD8D51E9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$D1E211E1-14B2-418D-AA53-D43CC763DE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$D4E90C6A-2CB9-4F6B-881E-5863F46F3A98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"719d6ba0dd8bfed179ea2fe50fddc78ede541239","datavalue":{"value":"222733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$08CEEF45-6FED-4033-9DCE-1312A754AC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$30F615FB-4DE7-40EF-A8B1-487411089F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474ccdaa6514b2ba28cdd92d6f11f30ad4c591a1","datavalue":{"value":"refine equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$ADB9F510-97D5-4AA1-8F1A-C12368B8694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$72FD74AC-2B10-4074-A9F2-FA8E78D876BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$3E860F30-128C-4CA7-9673-C19ABA21F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3348ec67c9cbdcad7de2a1a694f4d776b8b703","datavalue":{"value":"timed-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365760$ED15B8A7-D5AE-499A-89CB-11B7351C9E03","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":"Q2365760$100A949F-6E08-487B-A03A-E64B66B3C071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e834b45dee2df681f2f37e71688d56addff3e8b6","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2365760$C9597962-EAD8-4986-88CF-35D9FD425760","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d04626807860984bf34483b2bda0f852ab6b3dbc","datavalue":{"value":"W2146485104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$50AC3F9B-5751-42C8-AC46-0B2296F435F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32949f08cf2f428e541e0d1a73e48509a53d618a","datavalue":{"value":"10.1006/INCO.1993.1019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365760$022699BB-4584-4326-B018-817C8E9FCA32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957428ac12454c8aa957859ee2819c75a065c267","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b6dcfce0baae4b4b2c8ae630e1f0aec0eb150e","datavalue":{"value":{"amount":"+0.974488079547882","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":"Q2365760$48A97D77-678D-4BF4-9B3E-85E70D8B1A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dee2a34c2ff861158793dca58b5a7aa7889c234","datavalue":{"value":{"entity-type":"item","numeric-id":1342519,"id":"Q1342519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8346e3ae08ed13a5ce462f866df296161c52a39","datavalue":{"value":{"amount":"+0.931568205356598","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":"Q2365760$68CB1A5F-64D5-4330-902F-1FB24B659296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b295017a0cb2ad9ef89b8b0f46e565a86e1389a1","datavalue":{"value":{"entity-type":"item","numeric-id":2880595,"id":"Q2880595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8346e3ae08ed13a5ce462f866df296161c52a39","datavalue":{"value":{"amount":"+0.931568205356598","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":"Q2365760$4EBB8457-678C-4782-9D13-F191460F6562","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":"5f47629224ad37e14cdee2d7a78597d13934698b","datavalue":{"value":{"amount":"+0.8876016139984131","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":"Q2365760$48633402-8166-4BF6-8779-379EFC7DC219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d89b1794a374fcab4ddc3322eb46b0dba0461f","datavalue":{"value":{"entity-type":"item","numeric-id":4490738,"id":"Q4490738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf67d0beda89fe0c8d7409ee830c8a008dd4b54","datavalue":{"value":{"amount":"+0.8796119093894958","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":"Q2365760$B626E36B-09F4-4871-89F6-6AE82346D2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards action-refinement in process algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_action-refinement_in_process_algebras"}}}}}