Publications

Filters: Author is Marjan Sirjani [Clear All Filters]

2017

F. Bonchi, Lee, M. D., and Rot, J., “Bisimilarity of Open Terms in Stream GSOS”, in Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, vol. 10522, M. Dastani and Sirjani, M., Eds. Springer, 2017, pp. 35–50.

paper-799.pdf (413.24 KB)