14 research outputs found
Core BPEL:Semantic Clarification of WS-BPEL 2.0 through Syntactic Simplification using XSL Transformations
No full textTowards Scalable Simulation of Stochastic Bigraphs:Foundations for the Stochastic Bigraphical Abstract Machine (SBAM)
No full text
Formal Cellular Machinery
Get PDFAbstractVarious calculi have been proposed to model different levels of abstraction of cell signaling and molecular interactions. In this paper we propose a framework inspired by some of these calculi that structures interactions and agents from the most basic elements of the cell (protein interaction sites) to higher order ones (compartments and molecular species)
