A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 48-63
https://doi.org/10.1007/978-3-540-48654-1_5

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Deciding bisimilarity of normed context-free processes is in Σp2
Theoretical Computer Science, 1994
A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
Published by Springer Nature ,1994
Unique decomposition of processes
Theoretical Computer Science, 1993
A short proof of the decidability of bisimulation for normed bpa-processes
Information Processing Letters, 1992
The linear time - branching time spectrum
Published by Springer Nature ,1990