Login / Signup
Branching pomsets: Design, expressiveness and applications to choreographies.
Luc Edixhoven
Sung-Shik Jongmans
José Proença
Ilaria Castellani
Published in:
J. Log. Algebraic Methods Program. (2024)
Keyphrases
</>
design process
artificial intelligence
computer aided
design issues
optimal design
knowledge base
user interface
building blocks
design methodology
circuit design
computer vision
case study
expressive power
conceptual framework
design decisions