ISBN : 9789811268533
Author : Klaus Mainzer
Publisher : World Science
Year : 2023
Language : English
Type : Book
Description : Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal