Sign in

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura BocchiMaurizio MurgiaVasco Thudichum VasconcelosNobuko Yoshida
Published in: ESOP (2019)
Keyphrases
  • linear programming
  • real time
  • information systems
  • image processing
  • digital libraries
  • information technology
  • markov chain
  • stochastic processes