(Q2403081)
Statements
1994
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- dewiki Temporale Logik der Aktionen
- enwiki Temporal logic of actions
- ptwiki Lógica temporal de ações
- zhwiki 行为时序逻辑
Logic used to describe behaviours of concurrent systems.