Probabilistic Programming Process Algebra.

Anastasis Georgoulas Jane Hillston Dimitrios Milios Guido Sanguinetti

Published in: QEST (2014)

Keyphrases

process algebra
concurrent systems
programming environment
model checking
formal specification

formal methods
asynchronous circuits
concurrent programs
programming language
communication protocols

web services composition
temporal logic
distributed systems
general purpose

database
service oriented
artificial intelligence
grid workflow