From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Description of Alvis Language with α0 System Layer.

M. Szpyrka, P. Matyasik, R. Mrowka, и L. Kotulski. Fundam. Informaticae, 129 (1-2): 161-176 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alvis - Modelling Language for Concurrent Systems.M. Szpyrka, P. Matyasik, и R. Mrówka. Intelligent Decision Systems in Large-Scale Distributed Environments, том 362 из Studies in Computational Intelligence, Springer, (2011)UML Statecharts Compositional Semantics in LOTOS.R. Mrowka, и T. Szmuc. ISPDC, стр. 459-463. IEEE Computer Society, (2008)Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.M. Szpyrka, P. Matyasik, и R. Mrowka. ECMS, стр. 539-545. European Council for Modeling and Simulation, (2011)Formal Description of Alvis Language with α0 System Layer.M. Szpyrka, P. Matyasik, R. Mrowka, и L. Kotulski. Fundam. Informaticae, 129 (1-2): 161-176 (2014)