Operations preserving regular languages
- 作者Jean Berstel; Luc Boasson; Olivier Carton; Bruno Petazzoni; Jean-Eric Pin
- 卷第354卷
- 期第3期
- 印刷ISSN0304-3975
- 文件大小277.76KB
- 发表时间2006
- DOI10.1016/j.tcs.2005.11.034
- 页码405-420
Algebraic–coalgebraic specification in CoCaslTill Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel · 2006
PrefaceMarkus Roggenbach · 2012
Transition systems from event structures revisitedMila Majster-Cederbaum; Markus Roggenbach · 1998
CoCasl at Work — Modelling Process AlgebraTill Mossakowski; Markus Roggenbach; Lutz Schröder · 2003
The Stable Revivals Model in CSP-ProverD. Gift Samuel; Markus Roggenbach; Yoshinao Isobe · 2009
Towards a unified view of bisimulation: a comparative studyMarkus Roggenbach; Mila Majster-Cederbaum · 2000
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus · Science of Computer Programming · 2014
Detection of app collusion potential using logic programmingBlascoa, Jorge; Chen, Thomas M.; Muttik, Igor; Roggenbach, Markus · Journal of Network and Computer Applications · 2017