The $-Calculus Process Algebra for Problem Solving and its Support for Bioinformatics.

Lara Atallah Eugene Eberbach

Published in: IICAI (2005)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
temporal logic
machine learning
communication protocols
artificial intelligence
distributed systems
real time
general purpose
fine grained