{"entities":{"Q1613685":{"pageid":1624425,"ns":120,"title":"Item:Q1613685","lastrevid":72344841,"modified":"2026-04-14T04:16:35Z","type":"item","id":"Q1613685","labels":{"en":{"language":"en","value":"Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1793914"}},"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":"Q1613685$E9DF133E-455A-455D-8C5E-E9496028854F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc3299d37318485276eb909722db0d757c7f1235","datavalue":{"value":{"text":"Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1613685$E08ABA90-10B7-48A6-96D6-40912117C34B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f543db80eccdeef92d10d8cc2c39d4dc6037e2e","datavalue":{"value":"0993.00052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$3ABA0BCE-A5C8-4AEF-975C-0F2B22D1FD9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613685$6E1AD5EB-5F5C-4EEC-B36A-003D9A09A4D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d86510286c4a88c2f43df7e3f93640c9a866a2b","datavalue":{"value":{"time":"+2002-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1613685$77C1C4BA-32E1-41AF-A526-5D35324022A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"085154f69ea6818c5d10aff1c82aed4954305f06","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding workshop (1st, 2001) has been reviewed (see Zbl 0971.00028).  Indexed articles:  \\textit{Schiper, Andr\u00e9}, Failure detection vs group membership in fault-tolerant distributed systems: Hidden trade-offs, 1-15 [Zbl 1065.68502]  \\textit{Sands, David}, Probability and timing: Challenges for secure programming (Invited talk), 16 [Zbl 1065.68507]  \\textit{Aldini, Alessandro; Gorrieri, Roberto}, Security analysis of a probabilistic non-repudiation protocol, 17-36 [Zbl 1065.68528]  \\textit{Bohnenkamp, Henrik; Haverkort, Boudewijn}, The mean value of the maximum, 37-56 [Zbl 1065.68589]  \\textit{D'Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.}, Reduction and refinement strategies for probabilistic analysis, 57-76 [Zbl 1065.68582]  \\textit{Fecher, Harald; Majster-Cederbaum, Mila; Wu, Jinzhao}, Action refinement for probabilistic processes with true concurrency models, 77-94 [Zbl 1065.68591]  \\textit{Haar, Stefan}, Probabilistic unfoldings and partial order fairness in Petri nets, 95-114 [Zbl 1065.68592]  \\textit{Huth, Michael}, Possibilistic and probabilistic abstraction-based model checking, 115-134 [Zbl 1065.68593]  \\textit{Kwiatkowska, Marta; Mehmood, Rashid}, Out-of-core solution of large linear systems of equations arising from stochastic modelling, 135-151 [Zbl 1065.68500]  \\textit{Kwiatkowska, Marta; Norman, Gethin; Pacheco, Ant\u00f3nio}, Model checking CSL until formulae with random time bounds, 152-168 [Zbl 1065.68595]  \\textit{Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy}, Probabilistic model checking of the IEEE 802.11 wireless local area network protocol, 169-187 [Zbl 1065.68583]  \\textit{Kuntz, Matthias; Siegle, Markus}, Deriving symbolic representations from stochastic process algebras, 188-206 [Zbl 1065.68594]  \\textit{Bournez, Olivier}, A generalization of equational proof theory?, 207-208 [Zbl 1065.68576]  \\textit{Bravetti, Mario}, An integrated approach for the specification and analysis of stochastic real-time systems (short abstract), 209-210 [Zbl 1065.68581]  \\textit{Di Pierro, Alessandra; Wiklicky, Herbert}, Probabilistic abstract interpretation and statistical testing (extended abstract), 211-212 [Zbl 1065.68514]  \\textit{Lassaigne, Richard; Peyronnet, Sylvain}, Approximate verification of probabilistic systems, 213-214 [Zbl 1065.68584]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$12A180DD-36CB-4E42-82C5-E99C463DF875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$8C195BC2-279B-428A-BD7F-C0C95CD7A776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$7532DA37-1D1E-427D-AD2E-8ADCC99599E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$FAD1CC43-E644-4A96-8802-37E1A84E0736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$257C4B71-65FA-4664-A4B9-AED8013DB869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbd8a1e262deb5316057daede3e9ef49c68d13df","datavalue":{"value":"1793914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613685$0DE9E5D6-BBA6-48EA-B224-3FFC2EB49C53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf536f4f878472585edc0063230901e80d68c8c","datavalue":{"value":"Copenhagen (Denmark)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$C6772104-9B02-4A68-99DD-485AA442FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$76380312-6C5D-4CAF-AB46-83796314D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$F7ABBB0C-8E7C-4BB6-97EB-F22D9BEF83B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5962ea225265f68367239226971693d675f53b3","datavalue":{"value":"PAPM-PROBMIV 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$329A78A9-BFDC-40BE-A352-32A8AA090A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$71CB8428-F82A-4753-BA21-16202D6D9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6044a4bde5c0770c122bdd4f3f939c403c9987","datavalue":{"value":"Probabilistic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613685$1134994A-E099-4220-88F4-E30541A47164","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":"Q1613685$E120E890-8FAC-4BDD-BE9D-152EBAC89813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Process_algebra_and_probabilistic_methods._Performance_modeling_and_verification._2nd_joint_international_workshop,_PAPM-PROBMIV_2002,_Copenhagen,_Denmark,_July_25--26,_2002._Proceedings"}}}}}