temporal logic of actions (Q2403081)
Logic used to describe behaviours of concurrent systems.
Language:
other details
description Logic used to describe behaviours of concurrent systems.

External Links
(P646) /m/06wgjf
(P6366) 11648818
(P10283) C11648818