Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Behavioural analysis of sessions using the calculus of structures
Ciobanu, Gabriel; Horne, Ross James
2015 • In In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27
Horne, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Behavioural analysis of sessions using the calculus of structures
Publication date :
2015
Event name :
10th International Andrei Ershov Informatics Conference, PSI 2015
Event date :
August 24-27 2015
Main work title :
In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27