temporal logic of actions
(Q2403081)
Logic used to describe behaviours of concurrent systems.
Logic used to describe behaviours of concurrent systems.
Language:
Current Data About
temporal logic of actions