Lilius, Johan; Dahlin, Andreas; Morel, Lionel Rialto 2.0: A language for heterogeneous computations. (English) Zbl 1202.68088 Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 7-18 (2010). MSC: 68N15 PDF BibTeX XML Cite \textit{J. Lilius} et al., IFIP Adv. Inf. Commun. Technol. 329, 7--18 (2010; Zbl 1202.68088) Full Text: DOI
Boström, Pontus; Morel, Lionel; Waldén, Marina Stepwise development of Simulink models using the refinement calculus framework. (English) Zbl 1147.68826 Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 79-93 (2007). MSC: 68U20 68Q60 93B40 PDF BibTeX XML Cite \textit{P. Boström} et al., Lect. Notes Comput. Sci. 4711, 79--93 (2007; Zbl 1147.68826) Full Text: DOI
Shankland, Carron; Bryans, Jeremy; Morel, Lionel Expressing iterative properties logically in a symbolic setting. (English) Zbl 1108.68412 Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 460-474 (2004). MSC: 68N30 PDF BibTeX XML Cite \textit{C. Shankland} et al., Lect. Notes Comput. Sci. 3116, 460--474 (2004; Zbl 1108.68412) Full Text: DOI