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 18

Record: found
Abstract: not found
Article: not found

Branching time and abstraction in bisimulation semantics

Rob van Gabbeek, W. Weijland (1996)

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

Bookmark

Record: found
Abstract: not found
Article: not found

CCS expressions, finite state processes, and three problems of equivalence

Paris Kanellakis, Scott A Smolka (1990)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Characterizing finite Kripke structures in propositional temporal logic

M.C. Browne, O. Grumberg, E.M. Clarke (1988)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Publication date (Online): April 09 2016

Pages: 607-624

DOI: 10.1007/978-3-662-49674-9_40

SO-VID: 0612dcaa-aa52-4e93-b849-9bf8a3c68408

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

An \(O(m\log n)\) Algorithm for Stuttering Equivalence and Branching Bisimulation

Read this book at

Related collections

CHAIN Network Collection

Most cited references 18

Branching time and abstraction in bisimulation semantics

CCS expressions, finite state processes, and three problems of equivalence

Characterizing finite Kripke structures in propositional temporal logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,753

Cited by 2