Author of the publication

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.

, , and . ECMS, page 539-545. European Council for Modeling and Simulation, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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