Process-algebra based regulation of sensor controlled operations.

Francesco Gianfelici

Published in: ROSE (2005)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
web services composition
sensor data
concurrent programs
communication protocols
real time
sensor networks
petri net
temporal logic
grid workflow
formal languages
data model