Publication details

Regularity is Decidable for Normed PA Processes in Polynomial Time

Investor logo
Authors

KUČERA Antonín

Year of publication 1996
Type Article in Periodical
Magazine / Source FI MU Report Series
MU Faculty or unit

Faculty of Informatics

Citation
Field Computer hardware and software
Keywords process algebras; regularity; bisimilarity
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info