Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.

Chris J. Banks Daniel D. Seaton Ian Stark

Published in: CMSB (2015)

Keyphrases

temporal logic
model checking
concurrent systems
process algebra
formal specification
satisfiability problem
artificial intelligence
expert systems
programming language
distributed systems
knowledge acquisition
building blocks
verification method