Decidability and completeness in real-time processes | lit.salon