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....

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter: David, Maria Pamela C.
Format: Thesis
Sprog:English
Udgivet: 2008.
Fag: