Hybrid Parallel Execution Model for Logic-Based Specification Languagesby Jeffrey J. Tsai, Bing LiSystem designWriting a summary for young readers…For young readersBook data: Open Library