default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook of Process Algebra, 2001
- Jan A. Bergstra, Alban Ponse, Scott A. Smolka:
Handbook of Process Algebra. North-Holland / Elsevier 2001, ISBN 978-0-444-82830-9 - Preface. v-ix
- Rob J. van Glabbeek:
The Linear Time - Branching Time Spectrum I. 3-99 - Manfred Broy, Ernst-Rüdiger Olderog:
Trace-Oriented Models of Concurrency. 101-195 - Luca Aceto, Wan J. Fokkink, Chris Verhoef:
Structural Operational Semantics. 197-292 - Julian C. Bradfield, Colin Stirling:
Modal Logics and mu-Calculi: An Introduction. 293-330 - Jan A. Bergstra, Wan J. Fokkink, Alban Ponse
:
Process Algebra with Recursive Operations. 333-389 - Rance Cleaveland, Oleg Sokolsky:
Equivalence and Preorder Checking for Finite-State Systems. 391-424 - Anna Ingólfsdóttir, Huimin Lin:
A Symbolic Approach to Value-Passing Processes. 427-478 - Joachim Parrow:
An Introduction to the π-Calculus. 479-543 - Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen:
Verification on Infinite Structures. 545-623 - Jos C. M. Baeten, Cornelis A. Middelburg:
Process Algebra with Timing: Real Time and Discrete Time. 627-684 - Bengt Jonsson, Wang Yi, Kim G. Larsen:
Probabilistic Extensions of Process Algebras. 685-710 - Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
Priority in Process Algebra. 711-765 - Jos C. M. Baeten, Twan Basten:
Partial-Order Process Algebra (and its Relation to Petri Nets). 769-872 - Eike Best, Raymond Devillers, Maciej Koutny:
A Unified Model for Nets and Process Algebras. 873-944 - Ilaria Castellani:
Process Algebras with Localities. 945-1045 - Roberto Gorrieri, Arend Rensink:
Action Refinement. 1047-1147 - Jan Friso Groote, Michel A. Reniers:
Algebraic Process Verification. 1151-1208 - Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko:
Discrete Time Process Algebra and the Semantics of SDL. 1209-1268 - Sjouke Mauw, Michel A. Reniers:
A Process Algebra for Interworkings. 1269-1327
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-03 23:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
