Decidability and completeness in real-time processesby Liang ChenWriting a summary for young readers…For young readersBook data: Open Library