No label defined (Q5200808)
From MaRDI portal
scientific article; zbMATH DE number 5018345
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5018345 |
Statements
12 April 2006
0 references
untimed semantic models
0 references
process calculi
0 references
timed models
0 references
distributed system
0 references