{"entities":{"Q2760248":{"pageid":2770987,"ns":120,"title":"Item:Q2760248","lastrevid":47716204,"modified":"2026-01-02T12:38:48Z","type":"item","id":"Q2760248","labels":{"en":{"language":"en","value":"Probabilistic extensions of process algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684403"}},"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":"Q2760248$FA7C7E53-3A3C-4083-9BEC-E670746BCA22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"152771fe4f4cbc568ffa811aebb06d25ff5437bd","datavalue":{"value":"1062.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760248$E5B979A2-B199-42E7-93A8-B8F5FBB4D46B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760248$6223F05E-F8C4-4AF9-A856-B0605C91E641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760248$47A987D2-E39E-43B9-9AFC-B258642CDF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760248$29A60FD5-B6F9-4CE9-952D-08DE19EF42F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-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":"Q2760248$CC450D91-5707-467D-841E-7E7EB13F37E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760248$1397984E-D763-4C89-A504-9B0E0CB1C985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f230d5d24eb5e2ccb7396cfd85b2cf56f8d87357","datavalue":{"value":"1684403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760248$3BDD485D-48AC-4730-AC2A-3B058856AFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760248$33BB1528-20D1-47CE-9556-2F73737114F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760248$415C19EC-D4B7-4083-BB76-0924E0636D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5caeb0f616abe98e5252bff541e59b91dfcd89","datavalue":{"value":"probabilistic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760248$46BD176E-1F3A-4595-88BF-D0801E4A5D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760248$B70DA001-4B0B-4D4C-8462-A16AF09691B5","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":"Q2760248$62E5BD29-FC59-48DB-9446-523402721D6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6083c3f4404a70dbdf52b1c31aa4a2aeecae9efd","datavalue":{"value":{"text":"Probabilistic extensions of process algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2760248$00511D13-C86C-4E68-B950-8F57960455C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"978263847090366710951d7bbf52e2219a462cfb","datavalue":{"value":"The concepts of Probabilistic Transition System (PTS), probabilistic bisimulation and simulation are discussed. The PTS are interpreted as a basic model for probabilistic processes. Some of their properties and variants are given. It is shown that PTS are an essentially nondeterministic version of Markov's decision processes or Rabin's probabilistic automata. Probabilistic process languages for PTS are discussed. The paper contains a review of the results in this area.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760248$D26D882E-E717-44EB-AD12-4C5026C067CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"12551b7fef2abac6d240e7f41054edbfb3bb1f29","datavalue":{"value":{"entity-type":"item","numeric-id":415428,"id":"Q415428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760248$6FE72FD5-A12A-42D1-9B0D-3B3EA42F60F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421ada9f1f6257e5ab244e146717b168878e2f62","datavalue":{"value":{"entity-type":"item","numeric-id":5325835,"id":"Q5325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22d54be86750bfb4e3a6d4a82737cf2e6fb11a6","datavalue":{"value":{"amount":"+0.8228302001953125","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":"Q2760248$B981E92A-AAD8-4661-8E8F-3CDC7D2FB39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff56d47be152074daf9fa303e945edef8f71d05d","datavalue":{"value":{"entity-type":"item","numeric-id":5497245,"id":"Q5497245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325878b6cfc28f4bed22294820737405ad15211d","datavalue":{"value":{"amount":"+0.8075404763221741","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":"Q2760248$54A977DF-3C67-411D-BC2B-0FB25D059B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26319b61596e76ef8b4c053b836c35feab2c6f9a","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c0c266f1d3d153813a6359a1182e47c3a449f5","datavalue":{"value":{"amount":"+0.8062974810600281","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":"Q2760248$4A4749EA-C796-4B58-A2BF-27CA1546BE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a9027184cbd81900f3aa77d8973efcfa8549ab","datavalue":{"value":{"amount":"+0.8046159744262695","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":"Q2760248$198B082E-5F4E-4EA4-ABC6-B0F21D0E9282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55223d3b73e75833108ba3528268cd98f7011972","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17f6b872299e9e1861a41d615b7988d713ff518","datavalue":{"value":{"amount":"+0.8003790974617004","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":"Q2760248$E68BBB9C-11CA-4AAE-ABFC-02E1001EF215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2760248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2760248"}}}}}