Picture languages: Tiling systems versus tile rewriting grammars
- 作者Alessandra Cherubini; Stefano Crespi Reghizzi; Matteo Pradella; Pierluigi San Pietro
- 卷第356卷
- 印刷ISSN0304-3975
- 文件大小263.64KB
- 发表时间2006
- DOI10.1016/j.tcs.2006.01.038
- 页码90-103
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