Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On bisimulations of the asynchronous &pgr;-calculus
Theoretical Computer Science
Model checking
Information Processing Letters
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Theoretical Computer Science - Special issue: Computational systems biology
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
Biological Transactions for Quantitative Models
Electronic Notes in Theoretical Computer Science (ENTCS)
PML: Toward a High-Level Formal Language for Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
Natural Computing: an international journal
An Automatic Translation of SBML into Beta-Binders
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Coloured stochastic multilevel multiset rewriting
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling
Modeling kohn interaction maps with beta-binders: an example
Transactions on Computational Systems Biology III
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 0.00 |
A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in π-calculus are given, following Regev's principle of translating physical connection as private name sharing.