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 9

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

The linear time - branching time spectrum

R. J. van Glabbeek (1990)

0 comments Cited 41 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Two Complete Axiom Systems for the Algebra of Regular Events

Arto Salomaa (1966)

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

Bookmark

Record: found
Abstract: not found
Article: not found

A complete inference system for a class of regular behaviours

Robin Milner (1984)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1993

Publication date (Online): May 27 2005

Pages: 143-157

DOI: 10.1007/3-540-57208-2_11

SO-VID: 8bf43e68-394d-4991-bc74-b9e6d91f1ba3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 17

Checking regular properties of Petri nets
Authors: Petr Jancar, Faron Moller
Infinite results
Authors: Faron Moller
Deciding properties of integral relational automata
Authors: Karlis Cerans

See all cited by

Bisimulation equivalence is decidable for basic parallel processes

Read this book at

Related collections

Karger: Cardiovascular System

Most cited references 9

The linear time - branching time spectrum

Two Complete Axiom Systems for the Algebra of Regular Events

A complete inference system for a class of regular behaviours

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,768

Cited by 17