Handbook of process algebra (Q2746874)

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üdiger}, 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ólfsdóttir, 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üttgen, 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]