From post

Alvis - Modelling Language for Concurrent Systems.

, , и . Intelligent Decision Systems in Large-Scale Distributed Environments, том 362 из Studies in Computational Intelligence, Springer, (2011)

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., , и . Intelligent Decision Systems in Large-Scale Distributed Environments, том 362 из Studies in Computational Intelligence, Springer, (2011)Formal Description of Alvis Language with α0 System Layer., , , и . Fundam. Informaticae, 129 (1-2): 161-176 (2014)Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS., , и . ECMS, стр. 539-545. European Council for Modeling and Simulation, (2011)UML Statecharts Compositional Semantics in LOTOS., и . ISPDC, стр. 459-463. IEEE Computer Society, (2008)