The Attributed Pi-Calculus with Priorities
- 1 January 2010
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Modeling Biological Systems in Stochastic Concurrent Constraint ProgrammingConstraints, 2008
- Rule-Based Modelling of Cellular SignallingLecture Notes in Computer Science, 2007
- Cell-signalling dynamics in time and spaceNature Reviews Molecular Cell Biology, 2006
- Rule‐based modeling of biochemical networksComplexity, 2005
- Cellular abstractions: Cells as computationNature, 2002
- Uniform confluence in concurrent computationJournal of Functional Programming, 2000
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many ChannelsThe Journal of Physical Chemistry A, 2000
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Exact stochastic simulation of coupled chemical reactionsThe Journal of Physical Chemistry, 1977
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967