@Article{Szp:etal:Alvis:FI:14, author = {Szpyrka, M. and Matyasik, P. and Mrówka, R. and Kotulski, L.}, title = {Formal description of {A}lvis language with $\alpha^0$ system layer}, journal = {Fundamenta Informaticae}, year = {2014}, volume = {129}, pages = {161-176} } @InCollection{SzpMatMr:Alvis:SCI:11, author = {Szpyrka, M. and Matyasik, P. and Mrówka, R.}, title = {Alvis -- modelling language for concurrent systems}, publisher = {Springer-Verlag}, year = {2011}, series = {Studies in Computational Intelligence}, volume = {362}, booktitle = {Intelligent Decision Systems in Large-Scale Distributed Environments}, editor = {Bouvry, P. and Gonzalez-Velez, H. and Kołodziej, J.}, chapter = {15}, pages = {315-341}, }