{"entities":{"Q2746874":{"pageid":2757613,"ns":120,"title":"Item:Q2746874","lastrevid":41963996,"modified":"2025-05-19T18:49:39Z","type":"item","id":"Q2746874","labels":{"en":{"language":"en","value":"Handbook of process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656799"}},"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":"Q2746874$D9D5F20B-BBB0-4676-A97C-59F3C7F129ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"730ba3ef7b757a6f5f1d48bc2885e9fbcccb99e3","datavalue":{"value":"0971.00006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$B32A8C92-E6C3-4E1F-B4BC-16B1414879AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3affb76f39280a6ff66de0de3b3828b69fcb28c0","datavalue":{"value":{"time":"+2001-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2746874$C392E92E-0837-4DA1-ABE3-869FF894DDEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$B8585291-4E4E-477B-8CA8-46C52CD2E826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$2AF73677-95DE-4C3E-95FD-62E775797836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$7254E327-E806-4E58-8BDA-17B3B9CCB8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$74F309E1-F39E-41AB-8B70-B038776732FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03d2e7bc7c720b5b846a536e648e8413df3002cb","datavalue":{"value":"1656799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2746874$B1491B10-B875-4994-9109-466F82332AA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746874$3D161C7A-22B8-4F35-9ABD-E34C0378D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3440fcc5fe2144885df1e5d08f619a5504691daf","datavalue":{"value":"Handbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746874$BD70F4E7-234C-4441-A9C4-B1568B5BF593","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":"Q2746874$195A22C1-A51C-4BD6-BCF7-78292E58895C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd5d3e5df605f7121f99331db400bb6922d83218","datavalue":{"value":{"text":"Handbook of process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2746874$9BA83225-63E9-49C8-AC6E-BC53ACE73ABB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81c4414b23235356b56132b21dfe3565a0db6cfd","datavalue":{"value":"The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\\textit{van Glabbeek, R. J.}, The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes., 3-99 [Zbl 1035.68073]NEWLINENEWLINE\\textit{Broy, Manfred; Olderog, Ernst-R\u00fcdiger}, Trace-oriented models of concurrency, 101-195 [Zbl 1021.68040]NEWLINENEWLINE\\textit{Aceto, Luca; Fokkink, Wan; Verhoef, Chris}, Structural operational semantics., 197-292 [Zbl 1062.68074]NEWLINENEWLINE\\textit{Bradfield, Julian; Stirling, Colin}, Modal logics and mu-calculi: An introduction, 293-330 [Zbl 1002.03021]NEWLINENEWLINE\\textit{Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban}, Process algebra with recursive operations, 333-389 [Zbl 1027.68091]NEWLINENEWLINE\\textit{Cleaveland, Rance; Sokolsky, Oleg}, Equivalence and preorder checking for finite-state systems, 391-424 [Zbl 1020.68062]NEWLINENEWLINE\\textit{Ing\u00f3lfsd\u00f3ttir, Anna; Lin, Huimin}, A symbolic approach to value-passing processes, 427-478 [Zbl 1027.68092]NEWLINENEWLINE\\textit{Parrow, Joachim}, An introduction to the \\(\\pi\\)-calculus., 479-543 [Zbl 1035.68071]NEWLINENEWLINE\\textit{Burkart, Olaf; Caucal, Didier; Moller, Faron; Steffen, Bernhard}, Verification on infinite structures., 545-623 [Zbl 1035.68067]NEWLINENEWLINE\\textit{Baeten, J. C. M.; Middelburg, C. A.}, Process algebra with timing: Real time and discrete time, 627-684 [Zbl 1006.68100]NEWLINENEWLINE\\textit{Jonsson, Bengt; Yi, Wang; Larsen, Kim G.}, Probabilistic extensions of process algebras., 685-710 [Zbl 1062.68081]NEWLINENEWLINE\\textit{Cleaveland, Rance; L\u00fcttgen, Gerald; Natarajan, V.}, Priority in process algebra., 711-765 [Zbl 1062.68079]NEWLINENEWLINE\\textit{Baeten, J. C. M.; Basten, T.}, Partial-order process algebra (and its relation to Petri nets), 769-872 [Zbl 1021.68066]NEWLINENEWLINE\\textit{Best, Eike; Devillers, Raymond; Koutny, Maciej}, A unified model for nets and process algebras, 873-944 [Zbl 1006.68101]NEWLINENEWLINE\\textit{Castellani, Ilaria}, Process algebras with localities., 945-1045 [Zbl 1062.68078]NEWLINENEWLINE\\textit{Gorrieri, Roberto; Rensink, Arend}, Action refinement., 1047-1147 [Zbl 1035.68068]NEWLINENEWLINE\\textit{Groote, J. F.; Reniers, M. A.}, Algebraic process verification., 1151-1208 [Zbl 1035.68069]NEWLINENEWLINE\\textit{Bergstra, J. A.; Middelburg, C. A.; Usenko, Y. S.}, Discrete time process algebra and the semantics of SDL, 1209-1268 [Zbl 1020.68063]NEWLINENEWLINE\\textit{Mauw, S.; Reniers, M. A.}, A process algebra for interworkings., 1269-1326 [Zbl 1035.68070]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2746874$38BC2B5A-8155-49DE-B8E3-69E9226AD22A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2746874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2746874"}}}}}