Filters








4 Hits in 7.2 sec

Actions speak louder than words: proving bisimilarity for context-free processes

H Huttel
1998 Journal of Logic and Computation  
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars.  ...  We also show how to obtain a sound and complete sequent-based equational theory for such processes from the tableau system and how one can extract what Caucal calls a fundamental relation from a successful  ...  Introduction In 1] (and 2]) Baeten, Bergstra, and Klop prove the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars (without the empty production).  ... 
doi:10.1093/logcom/8.4.485 fatcat:sfffqqvwdbfmjpicymyaojyms4

Page 2926 of Mathematical Reviews Vol. , Issue 2000d [page]

2000 Mathematical Reviews  
only for Petri nets.” 2000d:68108 68Q85 Hiittel, Hans (DK-ALBG-C; Aalborg); Stirling, Colin (4-EDIN-FC; Edinburgh) Actions speak louder than words: proving bisimilarity for context-free processes.  ...  Summary: “Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is de- cidable for irredundant context-free grammars.  ... 

Page 1874 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
(English summary) (see 2000i:68007) Hiittel, Hans (with Stirling, Colin) Actions speak louder than words: proving bisimilarity for context-free processes.  ...  A., 2000b:68172 Srba, Jifi Deadlocking states in context-free process algebra. (English summary) 2000a:68107 Stehr, Mark-Oliver Thinking in cycles.  ... 

Page 1818 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
Stirling (Torsten Asselmeyer) 2000m:57036 57R15 (55R55, 57R30) — see also Low dimensional topology, 2000k:57003 Stirling, Colin (with Hiittel, Hans) Actions speak louder than words: proving bisimilarity  ...  for context-free processes.  ...