Approximate bounded synthesis for distributed systems (Q4913784)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Approximate bounded synthesis for distributed systems |
scientific article; zbMATH DE number 6152254
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Approximate bounded synthesis for distributed systems |
scientific article; zbMATH DE number 6152254 |
Statements
9 April 2013
0 references
complex system
0 references
mathematical modelling
0 references
parallel process
0 references
hierarchical model
0 references
APRO network
0 references
process algebra
0 references
cluster system
0 references
semantics
0 references
0.7362903952598572
0 references
0.7204291224479675
0 references
0.7105463743209839
0 references
