O’Reilly, Liam; Roggenbach, Markus; Isobe, Yoshinao CSP-CASL-Prover: a generic tool for process and data refinement. (English) Zbl 1335.68235 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 69-84 (2009). MSC: 68T15 68N18 68Q65 68Q85 PDFBibTeX XMLCite \textit{L. O'Reilly} et al., Electron. Notes Theor. Comput. Sci. 250, No. 2, 69--84 (2009; Zbl 1335.68235) Full Text: DOI
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst Algebraic-coalgebraic specification in CoCASL. (English) Zbl 1088.68115 J. Log. Algebr. Program. 67, No. 1-2, 146-197 (2006). MSC: 68Q65 68Q85 03B40 03G30 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., J. Log. Algebr. Program. 67, No. 1--2, 146--197 (2006; Zbl 1088.68115) Full Text: DOI
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till High-level nets with nets and rules as tokens. (English) Zbl 1128.68063 Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005). MSC: 68Q85 68Q42 68Q65 PDFBibTeX XMLCite \textit{K. Hoffmann} et al., Lect. Notes Comput. Sci. 3536, 268--288 (2005; Zbl 1128.68063) Full Text: DOI