Rule Formats for Nominal Process Calculi.

Luca Aceto Ignacio Fábregas Álvaro García-Pérez Anna Ingólfsdóttir Yolanda Ortega-Mallén

Published in: CoRR (2024)

Keyphrases

database systems
multimedia
real time
learning algorithm
data structure
expert systems
design process
process model
development process