We are visiting BOC at Vienna in Austria for a special training on ADOxx.


Since the end of 2013, we have been working on ADOxx as a platform for our process algebra, d-calculus, in order to replace the interface of the SAVE tool.

The first thing that we did was to design the visual model for the calculus.


Now we are planning to develop a simulation model in ADOxx.

In order to accomplish the development, it is necessary to exchange models between ADOxx and SAVE.

We do not know how much we can utilize the external routines or functions of SAVE from ADOxx or how much capability ADOxx can provide us with for the simulation.


This is one of the main reasons we are visiting BOC.

Besides, I have to visit OMiLab to see Prof. Dimitris Karagiannis and his colleagues.


It will be one of the wonderful experiences for Yeongbok and Woorim, both academically and culturally.


Let us fly and catch the dreams of the future.


How_to_get_to_BOC (2).pdf