A Process Algebra Foundation for Reasoning about Core ELLA.

Howard Barringer Graham Gough Brian Monahan Alan R. Williams

Published in: Comput. J. (1996)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
concurrent programs
web services composition
communication protocols
temporal logic
petri net
grid workflow
formal languages
general purpose
distributed systems
object oriented
machine learning
database