Freq.	Weight	Association
2	1.000	Romain Demangeon - Rumyana Neykova
2	1.000	Raymond Hu - Rumyana Neykova
2	1.000	Raymond Hu - Romain Demangeon
2	0.816	Nobuko Yoshida - Rumyana Neykova
2	0.816	Nobuko Yoshida - Romain Demangeon
2	0.816	Nobuko Yoshida - Raymond Hu
2	0.816	Kohei Honda - Nobuko Yoshida

Documents par ordre de pertinence

000054 (2015)	Romain Demangeon [France] ; Kohei Honda ; Raymond Hu ; Rumyana Neykova ; Nobuko Yoshida	Practical interruptible conversations: Distributed dynamic veriﬁcation with multiparty session types and Python
000267 (2013-09)	Romain Demangeon [France] ; Raymond Hu ; Rumyana Neykova ; Nobuko Yoshida	Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python
000752 (2011)	Kohei Honda [Royaume-Uni] ; Aybek Mukhamedov [Royaume-Uni] ; Gary Brown ; Tzu-Chun Chen [Royaume-Uni] ; Nobuko Yoshida	Scribbling Interactions with a Formal Foundation

This area was generated with Dilib version V0.6.25.
Data generation: Thu Oct 27 09:30:58 2016. Site generation: Sun Mar 10 23:08:40 2024

	Serveur d'exploration Cyberinfrastructure
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.