Sign in

Compliance and Subtyping in Timed Session Types.

Massimo BartolettiTiziana CimoliMaurizio MurgiaAlessandro Sebastian PoddaLivio Pompianu
Published in: FORTE (2015)
Keyphrases
  • petri net
  • data structure
  • neural network
  • cooperative
  • special case