Communication and concurrency
A partial ordering semantics for CCS
Theoretical Computer Science
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
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Theoretical Computer Science - Special issue: Computational systems biology
Rule-Based Modelling, Symmetries, Refinements
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Reversible enhanced event structures: Towards reversible E-LOTOS
Computer Standards & Interfaces
Counting the Cost in the Picalculus (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Agile Modelling of Cellular Signalling (Invited Paper)
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Computational biology: a programming perspective
Formal modeling
Modelling coordination in biological systems
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Modelling of bonding with processes and events
RC'13 Proceedings of the 5th international conference on Reversible Computation
| Hi-index | 0.00 |
We present CCS-R, a reversible variant of Milner's CCS offering a backtracking mechanism. Formalization of biological systems satisfying a ''perfect mix'' assumption within CCS-R is discussed.