There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 17

Record: found
Abstract: not found
Article: not found

Algebra of communicating processes with abstraction

J.A. Bergstra, J.W. Klop (1985)

0 comments Cited 51 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Verification on Infinite Structures

Olaf Burkart, Didier Caucal, Faron Moller … (2001)

0 comments Cited 19 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Process Rewrite Systems

Richard Mayr (2000)

0 comments Cited 18 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): June 25 2002

Pages: 716-727

DOI: 10.1007/3-540-45465-9_61

SO-VID: e9aa737d-062b-4cd0-a586-36026784ae00

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Beyond Language Equivalence on Visibly Pushdown Automata
Authors:
Normed BPA vs. Normed BPP Revisited
Authors: Petr Jancar, Martin Kot, Zdenek Sawa
Two Lower Bounds for BPA
Authors: Qiang Yin, Mingzhang Huang, Chaodong He

See all cited by

Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard

Read this book at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Most cited references 17

Algebra of communicating processes with abstraction

Verification on Infinite Structures

Process Rewrite Systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,294

Cited by 3