{"entities":{"Q1301512":{"pageid":1312262,"ns":120,"title":"Item:Q1301512","lastrevid":43012724,"modified":"2025-07-16T21:26:54Z","type":"item","id":"Q1301512","labels":{"en":{"language":"en","value":"CONCUR '99. Concurrency theory. 10th international conference, Eindhoven, the Netherlands, August 24--27, 2999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1332322"}},"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":"Q1301512$F90BAF4A-E929-4ADD-826F-704AD37E69ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c436a358490b39d7b858cf2217bceee7ffa90ed8","datavalue":{"value":{"text":"CONCUR '99. Concurrency theory. 10th international conference, Eindhoven, the Netherlands, August 24--27, 2999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1301512$DAA73508-AD8C-4456-88F8-3ED0EE112A67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caf51bb61bd8af070791ca4c2353a6f7f1fa24e3","datavalue":{"value":"0921.00028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$EDB8E3A6-03F4-450B-A7F2-ACFB81B42B10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cca4d92bd8d4480820e3029e8da557318e655035","datavalue":{"value":"10.1007/3-540-48320-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$7B27B0B9-7F15-4B96-87A8-10C81F11714F","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":"Q1301512$A5242304-A63D-4A1A-8B47-BEF58D963F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3e006c0c22ff0ea38e59e0a46a6b704e3d017db","datavalue":{"value":{"time":"+1999-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1301512$AFEEF73B-DDAD-4AF4-91E8-50BCFBA4BA34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b57fd29d0b9e767d0699a50e2a25bc37495b0038","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 0895.00051].  Indexed articles:  \\textit{Esparza, Javier; R\u00f6mer, Stefan}, An unfolding algorithm for synchronous products of transition systems, 2-20 [Zbl 0946.68097]  \\textit{Jan\u010dar, Petr; Moller, Faron}, Techniques for decidability and undecidability of bisimilarity, 30-45 [Zbl 0940.68087]  \\textit{de Alfaro, Luca}, Computing minimum and maximum reachability times in probabilistic systems, 66-81 [Zbl 0949.93082]  \\textit{Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.}, Automating modular verification, 82-97 [Zbl 0940.68088]  \\textit{Attie, Paul C.}, Synthesis of large concurrent programs via pairwise composition, 130-145 [Zbl 0940.68029]  \\textit{Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger}, Approximate symbolic model checking of continuous-time Markov chains, 146-161 [Zbl 0934.03044]  \\textit{Benveniste, Albert; Caillaud, Beno\u00eet; Le Guernic, Paul}, From synchrony to asynchrony, 162-177 [Zbl 0939.68079]  \\textit{B\u00e9rard, B\u00e9atrice; Fribourg, Laurent}, Reachability analysis of (timed) Petri nets using real arithmetic, 178-193 [Zbl 0939.68080]  \\textit{Best, Eike; Lavrov, Alexander}, Weak and strong composition of high-level Petri nets, 194-209 [Zbl 0940.68089]  \\textit{Bieber, Burkhard; Fleischhack, Hans}, Model checking of time Petri nets based on partial order semantics, 210-225 [Zbl 0940.68090]  \\textit{de Boer, F. S.; Zavattaro, G.}, Generic process algebras for asynchronous communication, 226-241 [Zbl 0940.68091]  \\textit{Comon, Hubert; Jurski, Yan}, Timed automata and the theory of real numbers, 242-257 [Zbl 0940.68092]  \\textit{Desharnais, Jos\u00e9e; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash}, Metrics for labeled Markov systems, 258-273 [Zbl 0939.68081]  \\textit{Estrin, Arkady; Kaminski, Michael}, The expressive power of temporal logic of actions, 274-287 [Zbl 0934.03026]  \\textit{Fu, Yuxi}, Open bisimulations on chi processes, 304-319 [Zbl 0940.68093]  \\textit{Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak}, Rectangular hybrid games, 320-335 [Zbl 0937.91005]  \\textit{K\u00f6nig, Barbara}, Generating type systems for process graphs, 352-367 [Zbl 0940.68094]  \\textit{Ku\u010dera, Anton\u00edn; Mayr, Richard}, Weak bisimilarity with infinite-state systems can be decided in polynomial time, 368-382 [Zbl 0939.68082]  \\textit{Kupferman, Orna; Vardi, Moshe Y.}, Robust satisfaction, 383-398 [Zbl 0939.68083]  \\textit{Meseguer, Jos\u00e9; Talcott, Carolyn}, A partial order event model for concurrent objects, 415-430 [Zbl 0939.68084]  \\textit{Minea, Marius}, Partial order reduction for model checking of timed automata, 431-446 [Zbl 0939.68085]  \\textit{Morin, R\u00e9mi; Rozoy, Brigitte}, On the semantics of place/transition nets, 447-462 [Zbl 0940.68095]  \\textit{Noll, Thomas}, On coherence properties in term rewriting models of concurrency, 478-493 [Zbl 0934.03045]  \\textit{Nowak, David; Talpin, Jean-Pierre; Le Guernic, Paul}, Synchronous structures, 494-509 [Zbl 0940.68016]  \\textit{Puhakka, Antti; Valmari, Antti}, Weakest-congruence results for livelock-preserving equivalences, 510-524 [Zbl 0939.68086]  \\textit{R\u00f6ckl, Christine; Esparza, Javier}, Proof-checking protocols using bisimulations, 525-540 [Zbl 0940.68128]  \\textit{Winskel, Glynn}, Event structures as presheaves -- two representation theorems, 541-556 [Zbl 0939.68087]  \\textit{Yoshida, Nobuko; Hennessy, Matthew}, Subtyping and locality in distributed higher order processes, 557-572 [Zbl 0940.68024]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$62D3EFFD-B61F-4110-8A87-8D5CBB854D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$0B417543-E8B7-4326-B581-C55437294795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$D668AE56-9144-4F4A-BA27-B086C646BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$F228C972-FC1A-4EE3-BD9D-37C6E090AE24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e68114ae567108d7d70165eb311c6966ff4a32d","datavalue":{"value":"1332322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$87E4B722-777F-4DAE-ACF0-F4C36447C761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7af7b2e1211a5225b79f9c142ae5f19f2cd4627","datavalue":{"value":"Eindhoven (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$370124C3-234F-499D-B090-189DD236EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$97EC42F0-C07F-481A-A539-FDB5C81C5053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$32A4C0E9-D89C-4925-96ED-5639A2048446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e885a211ad44a4cfd70d11e6dc3cd9e86f7389","datavalue":{"value":"CONCUR '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$94C7367D-65E8-412F-9DED-866B8BFCF938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48651fc222a35e2206fc999ef422cb5d03872abb","datavalue":{"value":"Concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301512$2FEC0769-05F9-4D55-825B-67CCA93FD2F3","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":"Q1301512$2B499E4A-F276-4E75-AB0C-74F38D52D7B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02dec9e80a410e4b06f71186c5082e75ae2cfcd0","datavalue":{"value":"https://doi.org/10.1007/3-540-48320-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1301512$192F9781-D601-4A18-8DDD-3A0B0AFE5EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f0c40055de838a01add44a8639a28057c14dc6d","datavalue":{"value":"W2083505384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301512$D4B1E37A-C58F-41A7-8F49-B2397F9627DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737155a0b93053d1362de071f1f5933748833ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1202075,"id":"Q1202075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24fba88a8904690de7a27b3cbd15d25876a3fd4","datavalue":{"value":{"amount":"+0.9247658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$516F26C2-B93F-4EFE-BCA0-527FB90F110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49809d7861f6c78f288697c4bf8c7084bc2822d9","datavalue":{"value":{"entity-type":"item","numeric-id":1264338,"id":"Q1264338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5ed1d8de89c7840c8272d7c26331e92b097425","datavalue":{"value":{"amount":"+0.91791284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$09F2C654-3983-4E86-A432-A0CA8D5D85DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc31662de559bae5ff708906c71557eadfb891f","datavalue":{"value":{"entity-type":"item","numeric-id":5240587,"id":"Q5240587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69be7c66d111531eb39b47e828f07510b1170bb1","datavalue":{"value":{"amount":"+0.915116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$5EE6EC68-CDAB-4D81-B2BB-714990B36A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702196b576ecc450eb0439c48b3398bd2daff6aa","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a157d72f7ffe8cc1af0d00cf92d6cff37aeeb9e2","datavalue":{"value":{"amount":"+0.91067743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$888B799E-A5B1-4279-AAFC-93837B1E360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763fa84c8d5ae7e10eb741c479fb189542000762","datavalue":{"value":{"entity-type":"item","numeric-id":842347,"id":"Q842347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e982ab7f44f678fc6b5b451c611da5b0f48f09","datavalue":{"value":{"amount":"+0.90533614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$CB55E6E3-8C29-4299-926E-E924C200BB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d631ee572bec2d6be38dc129736bc72a6f47adce","datavalue":{"value":{"entity-type":"item","numeric-id":1202022,"id":"Q1202022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d312fb936a3eef8077b279cd6f4398cf8a9b256f","datavalue":{"value":{"amount":"+0.887654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$825F3E5C-54B2-45D1-AAF3-ED3DF09B29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceedcebb42aac98a3f7eb00facec5b256bc8e09d","datavalue":{"value":{"entity-type":"item","numeric-id":1896998,"id":"Q1896998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f6bc3a49372deba5b221de4b6d44e96911ec0c","datavalue":{"value":{"amount":"+0.8875905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$3D26A968-99CE-4AEC-8862-1A94F750B888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017f3375da1d8c7c430bfaf9301beeccbed3ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":1920211,"id":"Q1920211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae3b69269dff8d27b1f4a404d2cd7d090da60dd","datavalue":{"value":{"amount":"+0.8859116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$42CCCA38-0DA3-4AFB-955B-D57013D2365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ef8722490786451ee5313c023b5391cb285917","datavalue":{"value":{"entity-type":"item","numeric-id":1578447,"id":"Q1578447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b33438ce14742eb573f1f59435be63a2fc7593","datavalue":{"value":{"amount":"+0.8845084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$C3FBF04A-67A7-40A5-9411-C0BF6D0A100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f7f1d9cb31a6d0477800bee40f0417e1d5e0601","datavalue":{"value":{"entity-type":"item","numeric-id":1276236,"id":"Q1276236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045fa14b6f2142076430b94426a56dafe3883766","datavalue":{"value":{"amount":"+0.8841035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301512$769BAFD3-6861-44A3-8A34-355CD84DC209","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1301512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1301512"}}}}}