Login / Signup

Input urgent semantics for asynchronous timed session types.

Maurizio Murgia
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
  • input data
  • semantic information
  • real time
  • neural network
  • petri net
  • multi agent
  • markov chain
  • argumentation semantics