Login / Signup

Process calculi as a tool for studying coordination, contracts and session types.

Mario BravettiGianluigi Zavattaro
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
  • knowledge base
  • multi agent
  • supply chain
  • real time
  • data sets
  • process model
  • resource allocation
  • conceptual model