No label defined (Q5294161)
From MaRDI portal
scientific article; zbMATH DE number 5173925
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5173925 |
Statements
24 July 2007
0 references
abstract state machines
0 references
time model
0 references
event structure
0 references
partial order semantics
0 references