Login / Signup
Equivalences for a biological process algebra.
Vashti Galpin
Published in:
Theor. Comput. Sci. (2011)
Keyphrases
</>
process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
concurrent programs
web services composition
communication protocols
grid workflow
petri net
connected components
temporal logic
relational algebra
distributed systems
web service composition
object oriented