Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Algebra Modelling Styles for Biomolecular Processes
Transactions on Computational Systems Biology XI
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Analysis of signalling pathways using continuous time markov chains
Transactions on Computational Systems Biology VI
Transactions on Computational Systems Biology VII
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Exploring feature interactions in the wild: the new feature-interaction challenge
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Hi-index | 5.23 |
Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling behaviours. While there are several formal modelling approaches for signalling pathways, none make cross-talk explicit; the aim of this paper is to define and categorise cross-talk in a rigorous way. We define a modular approach to pathway and network modelling, based on the module construct in the PRISM modelling language, and a set of generic signalling modules. Five different types of cross-talk are defined according to various biologically meaningful combinations of variable sharing, synchronisation labels and reaction renaming. The approach is illustrated with a case-study analysis of cross-talk between the TGF-@b, WNT and MAPK pathways.