BCD design and implementation of a stochastic brane machine
Brane calculi are a family of process calculi where actions are tightly coupled to membranes. In addition to the formalisms in stochastic π-calculus that allow the creation of models of concurrently executing and communicating processes, brane calculus provides a framework for spatial organization....
| Yazar: | |
|---|---|
| Materyal Türü: | Tez |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
2008.
|
| Konular: |