Name
Abstract | ||
|---|---|---|
The Brane Calculus is a calculus of mobile processes, intended to model the transport machinery of a cell system. In this paper, we introduce the Brane Logic, a modal logic for expressing formally properties about systems in Brane Calculus. Similarly to previous logics for mobile ambients, Brane Logic has specific spatial and temporal modalities. Moreover, since in Brane Calculus the activity resides on membrane surfaces and not inside membranes, we need to add a specific logic (akin Hennessy-Milner’s) for reasoning about membrane activity. We present also a proof system for deriving valid sequents in Brane Logic. Finally, we present a model checker for a decidable fragment of this logic. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11885191_1 | CMSB |
Keywords | Field | DocType |
membrane surface,modal logic,activity resides,brane logic,inside membrane,membrane activity,brane calculus,specific logic,cell system,previous logic | Discrete mathematics,Computer science,Natural deduction,Brane,Proof calculus,Substructural logic,Multimodal logic,Modal logic,Intermediate logic,Calculus,Higher-order logic | Conference |
Volume | ISSN | ISBN |
4210 | 0302-9743 | 3-540-46166-3 |
Citations | PageRank | References |
10 | 0.55 | 10 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marino Miculan | 1 | 502 | 43.24 |
| Giorgio Bacci | 2 | 73 | 11.28 |