{"entities":{"Q2382306":{"pageid":2393049,"ns":120,"title":"Item:Q2382306","lastrevid":43985670,"modified":"2025-11-18T18:41:18Z","type":"item","id":"Q2382306","labels":{"en":{"language":"en","value":"Modelling distributed systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198210"}},"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":"Q2382306$7DB8BF11-1A2A-40A8-B415-18F7268C3DCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e8842895025b717d15327d7626e6c4ebb4b81a","datavalue":{"value":{"text":"Modelling distributed systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2382306$D818A85D-4858-4CA4-9336-BFEDE1EB92BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92afce2effbe248edd08b9f9e2d7d487fd552a83","datavalue":{"value":"1130.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$C6850714-7428-4887-82DF-A736012EC46B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f0a2acff5007574f811cbeec1fb72101c4611a9","datavalue":{"value":{"entity-type":"item","numeric-id":161384,"id":"Q161384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382306$4452A3D3-396B-4ADB-ABC7-295C677DA1E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"780d8a9daa7b871a80154f97ba5f7ec86b8b8783","datavalue":{"value":{"time":"+2007-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2382306$62B6B47A-35D7-4448-89FD-39AB3BCE4EAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe9884fc17d9b1b7174670da5e909b56655f3b7d","datavalue":{"value":"The main goal of this book is to introduce novel techniques for the formal description and analysis of distributed systems. The book covers three areas connected with the modelling of distributed systems. The first area deals with theoretical principles that are used for the modelling. The second area is devoted to specification and verification of distributed algorithms and network protocols. The third area contains case studies as a support tool for learning and exercise how to specify and verify a real-life distributed system.  The book is divided into 8 chapters and an appendix giving explanations on how to use some important tool sets. The first chapters take a programmatic view on how the basics of process algebra and abstract data types may be used in the modelling and analysis of distributed systems. The next chapters present a number of \\(\\mu\\text{CRL}\\) specifications of network protocols and explain how a \\(\\mu\\text{CRL}\\) specification can be reduced to a linear form. The last chapters describe verification algorithms on state spaces and techniques how to analyze \\(\\mu\\text{CRL}\\) specifications at a symbolic level.  The book is very readable. It is recommended for students, teachers and researchers in the area of distributed systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382306$49DA8EB2-C6CB-455C-BA90-50D51A490028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$4A2CB6F9-B8CD-461F-85F8-1016D178ADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$86C75E7E-8D34-494C-8C26-22E6DC67F4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$6130771C-1E61-4D27-9371-05019DA7066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$EF43225E-8ADD-46B3-97EE-7ECB04E091FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$FDC17B39-E49E-4038-BE01-F3BC0B60A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$D3445BCC-9177-4035-8635-9767AF60F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$00B28316-A0C1-4DC9-BD09-82418AD0EA88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed727bc41125b3ccecbf01dde00b123e67ed6eb8","datavalue":{"value":"5198210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382306$07421F84-AECA-42C8-AA18-67E37CD61CE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382306$415F7219-8855-4539-9EDA-5E675417236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a99a4137abbff691c888beacb785460c56a12e5e","datavalue":{"value":"\\(\\mu\\)CRL language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382306$04F0F4D1-23A2-4B6E-8059-F9FF1DD027C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc1d2acaa3302f1ce666678172aec70bd991b2e7","datavalue":{"value":"linear process equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382306$D9199340-B2B5-4165-A2C8-66762E654FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382306$9FB0CDA8-BA4B-4FEF-8798-0EF773E9DFD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382306$0CA4B63F-4F53-4D1C-B925-16E224FECDE0","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":"Q2382306$D869194C-6021-4972-BFEF-914EF8A26B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b9f3cfccc6ed3aa4cae6e036042eb40a5ff071","datavalue":{"value":{"entity-type":"item","numeric-id":5691265,"id":"Q5691265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cc59db9e3269bae2ae5dfd01dd3784691a8238","datavalue":{"value":{"amount":"+0.96399057","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":"Q2382306$2F7D3AC4-04C4-4528-AD42-32B9BEE274C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6161f1df829927d5c8133ffcc5ad6d585af4363b","datavalue":{"value":{"entity-type":"item","numeric-id":1195147,"id":"Q1195147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e12c9a74db9508c8897ee9354aa9329573ffea","datavalue":{"value":{"amount":"+0.9160181","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":"Q2382306$66492E89-A7F2-4D2A-8173-747D75602EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d49429ae9764585f3b60c8054115d92f3527b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2706057,"id":"Q2706057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb79bcb93ca517c29d26c074e62b49362e37d33","datavalue":{"value":{"amount":"+0.9023843","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":"Q2382306$A03C9736-F808-4C7C-9103-50B2C80B3DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ca3b09a3ae7b2102a2aca32f829dbc1d540670","datavalue":{"value":{"entity-type":"item","numeric-id":2779774,"id":"Q2779774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15f08942d6050b1b7a52df21b1a8c6a7cd2a125","datavalue":{"value":{"amount":"+0.90127623","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":"Q2382306$1FCFD660-62CB-4BDC-B0A3-F5522C2F3553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2e46b92ce59621f1db8b79ce75dcd0abb7b498","datavalue":{"value":{"entity-type":"item","numeric-id":5316719,"id":"Q5316719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2cf153a086a9dbc42f58f36f1400a852ab24f6","datavalue":{"value":{"amount":"+0.8983251","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":"Q2382306$81435A82-9914-4B9F-8DA2-4D59EAA90A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85ed28e0c4e836bb64b895a48605952e11917f6","datavalue":{"value":{"entity-type":"item","numeric-id":3619881,"id":"Q3619881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06edb2370eb5d1953f2242065adbcb0d6ccfa63","datavalue":{"value":{"amount":"+0.88660055","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":"Q2382306$75F2A956-B0E3-40B2-905E-6673D023A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a789ad335e911d329c2fbb76d98abf0859b268c","datavalue":{"value":{"entity-type":"item","numeric-id":3619880,"id":"Q3619880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06edb2370eb5d1953f2242065adbcb0d6ccfa63","datavalue":{"value":{"amount":"+0.88660055","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":"Q2382306$8AE493C3-81E4-455D-977A-7767DD093D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d575b6a40f4c4fd5b44fdd47ded265e57193f29","datavalue":{"value":{"entity-type":"item","numeric-id":4692532,"id":"Q4692532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eede5d040af897b8933cc2f0a364dc0aa5bfa6f9","datavalue":{"value":{"amount":"+0.88349724","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":"Q2382306$063740E6-69FD-4456-B546-E84612128669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2382306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2382306"}}}}}