Process Algebra Modelling Styles for Biomolecular Processes.

Muffy Calder Jane Hillston

Published in: Trans. Comp. Sys. Biology (2009)

Keyphrases

process algebra
concurrent systems
model checking
formal methods
asynchronous circuits
formal specification
temporal logic
communication protocols
web services composition
grid workflow
process model
concurrent programs
formal languages
description language
general purpose
natural language
database