Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2014

Number of items: 1.

2014

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: Proceedings Third Workshop on Behavioural Types. Electronic Proceedings in Theoretical Computer Science . pp. 19-26. (doi:10.4204/EPTCS.162.3) (KAR id:43736)

This list was generated on Fri May 3 22:27:27 2024 BST.