Loading...
Please wait, while we are loading the content...
Similar Documents
Functional and Performance Analysis ofCooperating Sequential Processes
| Content Provider | Semantic Scholar |
|---|---|
| Author | Teruel, Enrique Silva, Manuel Colom, José Manuel Departamento, Campos Inform, D. |
| Copyright Year | 1995 |
| Abstract | This paper presents some results concerning the structural analysis of sequential proceses cooperating via message passing through a set of buuers. Both functional | boundedness, deadlock-freeness, liveness, existence of home states | and performance | marking ergodicity, computation of visit ratios and insensitive throughput bounds | properties are considered. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cps.unizar.es/deps/DIIS/CRPetri/papers/jcampos/95_TSCC_QMIPSbook.ps.gz |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Communicating sequential processes Computation Deadlock Ergodicity Item Unique Identification Liveness Message passing Profiling (computer programming) Structural analysis Throughput |
| Content Type | Text |
| Resource Type | Article |