Safe Asynchronous Mixed-Choice for Timed Interactions.

Jonah Pears Laura Bocchi Andy King

Published in: COORDINATION (2023)

Keyphrases

petri net
asynchronous communication
real time
website
search algorithm
information retrieval
three dimensional
interaction patterns