temporal logic of actions (Q2403081)
Jump to navigation
Jump to search
Logic used to describe behaviours of concurrent systems.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | temporal logic of actions |
Logic used to describe behaviours of concurrent systems. |
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 行为时序逻辑