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 12

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

A polynomial algorithm for deciding bisimilarity of normed context-free processes

Yoram Hirshfeld, Mark Jerrum, Faron Moller (1996)

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

Bookmark

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

An elementary bisimulation decision procedure for arbitrary context-free processes

Olaf Burkart, Didier Caucal, Bernhard Steffen (1995)

0 comments Cited 10 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2008

Pages: 434-446

DOI: 10.1007/978-3-540-85361-9_34

SO-VID: 9bdcdd84-abc8-4f6b-95c5-8ce5a0964616

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Partially-Commutative Context-Free Processes
Authors: Wojciech Czerwiński, Sibylle Fröschle, Sławomir Lasota

See all cited by

Normed BPA vs. Normed BPP Revisited

Read this book at

Related collections

ScienceOpen Research

Most cited references 12

Verification on Infinite Structures

A polynomial algorithm for deciding bisimilarity of normed context-free processes

An elementary bisimulation decision procedure for arbitrary context-free processes

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,988

Cited by 1