A Process Algebra for (Delimited) Persistent Stochastic Non-Interference.

Andrea Marin Carla Piazza Sabina Rossi

Published in: QEST (2019)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
formal specification
model checking
formal methods
concurrent programs
communication protocols
web services composition
petri net
temporal logic
grid workflow
database
artificial intelligence
relational databases