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
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

Model Checking Lossy Vector Addition Systems

Ahmed Bouajjani, Richard Mayr (1999)

0 comments Cited 13 times – based on 0 reviews

Bookmark

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

On the Ehrenfeucht-Fraïssé game in theoretical computer science

Wolfgang Thomas (1993)

0 comments Cited 11 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): September 18 2002

Pages: 594-609

DOI: 10.1007/3-540-45694-5_39

SO-VID: 1c6190e1-00ba-4c08-8ae5-17c53e25a5c5

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

See all cited by

Why Is Simulation Harder than Bisimulation?

Read this book at

Related collections

ScienceOpen Research

Most cited references 12

Algebra of communicating processes with abstraction

Model Checking Lossy Vector Addition Systems

On the Ehrenfeucht-Fraïssé game in theoretical computer science

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,404

Cited by 3