Title: Decidability and completeness in real-time processes