Enhanced Operational Semantics in Systems Biology

Authors:
Pierpaolo Degano;Corrado Priami
Affiliations:
-;-
Venue:
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Year:
2003

Citing 7
Cited 1

Communicating sequential processes

Communicating sequential processes
Communication and concurrency

Communication and concurrency
A calculus of mobile processes, II

Information and Computation
A calculus for cryptographic protocols

Information and Computation
A compiler for analyzing cryptographic protocols using noninterference

ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters

Modelling biochemical pathways through enhanced π-calculus

Theoretical Computer Science - Special issue: Computational systems biology

Quantified Score

Hi-index	0.00

Visualization

Abstract