Login / Signup
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