Login / Signup
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.
Thomas Wright
Ian Stark
Published in:
CoRR (2018)
Keyphrases
</>
process algebra
formal specification
model checking
concurrent systems
asynchronous circuits
formal methods
web services composition
grid workflow
concurrent programs
communication protocols
temporal logic
biological systems
database systems
modeling language
petri net
complex systems
fine grained
object oriented