Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems.

Jingde Cheng

Browse the full SMC paper archive.