{"entities":{"Q685408":{"pageid":687257,"ns":120,"title":"Item:Q685408","lastrevid":42641147,"modified":"2025-07-07T14:52:11Z","type":"item","id":"Q685408","labels":{"en":{"language":"en","value":"Modal logics for mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417348"}},"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":"Q685408$568BC0F1-66A9-4D29-BBA6-281FE829048A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"890c6f23ac1bd9e26d408b28d3e59122fe22f924","datavalue":{"value":{"text":"Modal logics for mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685408$62FF6559-2868-45E4-9019-16A9E150B809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb33cd42e56386e948f4f6adc34411c2cbf3167","datavalue":{"value":"0778.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$B9946787-09BC-4BB5-A488-1EEC4204BF15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0d1cd08f474b215e854c1bf04f14ce0e7e03912","datavalue":{"value":"10.1016/0304-3975(93)90156-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$62E4810F-B1A9-46D6-B6CE-7E4E1882879A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$41F292E9-8C85-4A22-9E26-C17B35DA0EB7","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":"Q685408$B4DF8B7E-850E-45D4-AD51-A705082D6978","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685408$2C9DF440-FA8A-4368-A0DD-2149267C0D92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"648e2bc745de4a530b98f0eea68f69b71467ad9a","datavalue":{"value":"In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterization in terms of a simple modal logic (sometimes called Hennessy-Milner logic).   The paper first defines two forms of bisimulation equivalence for the \\(\\pi\\)-calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterize the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice. The results are applicable to most value-passing process algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685408$F587CECE-B31E-4A26-BABB-12574C548AC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$0ADD221B-3994-4FE6-8F75-E08642FD23DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$DDAE991B-7F99-41C4-BDF5-196E2BCDB114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$99DFA2BD-8E34-41DC-AAA6-AC22E2810F72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bb8449815be4d2329f7f702717aebc1d2fc38a6","datavalue":{"value":"417348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$75048E79-6F26-4AC0-8605-CF27492BF3C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"699c5c1ff9bed2f693b832d029d47c4af46fe617","datavalue":{"value":"mobile process","type":"string"},"datatype":"string"},"type":"statement","id":"Q685408$95E8BE01-0F09-4901-BF00-370C72CFD240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67614fd944ed767a3c08835e769b4aac60454fa","datavalue":{"value":"Pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q685408$0AB61559-B430-4F73-AA18-6F0C75090DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685408$9E516C37-0A47-4426-8798-5B771042B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q685408$F30609C8-0392-47D0-974C-4E179A1A97EC","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":"Q685408$C39D0F6F-8D88-40FF-8703-CC181D33B77F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$58F4FC6E-35A3-4BFD-B52D-506E6D691CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$B7AA7938-E2F6-455D-92D3-BD06BC0EFD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$0E631421-00C5-41DA-A64B-A8E1C3C6FB36","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":"Q685408$C56D2342-8438-4F78-87C3-92002D076942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$40874FED-7C22-4D14-AE6A-C366680D25AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$9280E905-E3CE-4FFE-9A5B-013A6E66A714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$AE71C5B5-53C0-4B28-B25B-EB82C3B4CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685408$F7F3716F-A28D-4E91-912B-E22964A494CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed75d7e82e8bd901f62ec7d7db883e3f41c52c3d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90156-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q685408$1B0557C5-1128-474D-A0DB-D1417B7C6054","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36f27700e39aba8d3bed3a788a294a20d60ebc69","datavalue":{"value":"W2106102830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685408$C977BD72-A7BD-40BE-AAB3-3C3FE1E58B4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5cc8cd7e57e068a5987b73b6090cc7cde7dc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5277692,"id":"Q5277692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1da80d3b3372afa3027593c5fe3125cba0df82","datavalue":{"value":{"amount":"+0.91640455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$CA4068A6-7D5A-4854-9373-BF5C87F5CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83621a107374c16fa5d8bc0b1bc13bf1736d6382","datavalue":{"value":{"entity-type":"item","numeric-id":3519494,"id":"Q3519494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68823e26a34d3d33e15a3b69c87b68eb602c051","datavalue":{"value":{"amount":"+0.89780354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$27DFB924-9D54-497E-BCEF-02B77DF71572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f04a965482621cb98e07d50fe8c6677fe7ad10","datavalue":{"value":{"amount":"+0.8854159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$31BD5A86-73FF-4A36-B8A4-7282F3BB6C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b59294aad1c9c6f6822a771a956d4abc203753","datavalue":{"value":{"entity-type":"item","numeric-id":866088,"id":"Q866088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6592967bc60a2d3a56ca73ab3c0eb56875064021","datavalue":{"value":{"amount":"+0.8820149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$8FFE56B6-BEA7-4AEB-BCC1-8DB72B6020EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7940987f8e61b2489fd00b2cb0f3f2119f591d46","datavalue":{"value":{"amount":"+0.87548995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$243CB469-9DF3-44E9-8CE6-57850EF6306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d516365ad3d2c93845becc1ef3955718e52ba42","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e519a75f7f379e86e8c481cea5d871550299bc92","datavalue":{"value":{"amount":"+0.8719685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$8D7FDC53-5C03-4E18-9861-66A7983B4B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96503734333ec57c13a5e181df5be530f9ea8122","datavalue":{"value":{"entity-type":"item","numeric-id":5897447,"id":"Q5897447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab8616cf4bb2945c2581bd5da13d5780ed16e13","datavalue":{"value":{"amount":"+0.86472046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$E1150AAB-6504-487B-85DB-648C4E2477B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb8d73244b8204ce298b70d79c39f8565aebb58","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba6085d0195f1ffedb230fed974ca5d6ff24a7a","datavalue":{"value":{"amount":"+0.8626914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685408$D4B1E071-FFD9-4945-B9F8-2A765E5D5DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685408"}}}}}