Selected papers of the Second Workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information Processing Letters
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
An Interactive Proof Tool for Process Algebras
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
A Core Modeling Language for the Working Molecular Biologist (Abstract)
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
ESOP'03 Proceedings of the 12th European conference on Programming
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Theoretical Computer Science - Special issue: Computational systems biology
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
A Static Analysis for Beta-Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
ESOP'03 Proceedings of the 12th European conference on Programming
On differentiation and homeostatic behaviours of Boolean dynamical systems
Transactions on computational systems biology VIII
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Graph theory for rule-based modeling of biochemical networks
Transactions on Computational Systems Biology VII
On differentiation and homeostatic behaviours of boolean dynamical systems
Transactions on Computational Systems Biology VII
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis for Causal Properties of Membrane Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
A graphic language--the graphic 驴 calculus--modeling protein interactions at the domain level is introduced. Complexation, activation and mixed forms of interaction are expressed as graph rewriting rules. A compilation in a low-level graph rewriting calculus, called mobile 驴, is given and shown to be correct up to some suitable notion of observational equivalence. This intermediate language is of independent interest and can be easily implemented in 驴-like calculi.