Extended Differential Aggregations in Process Algebra for Performance and Biology.

Max Tschaikowski Mirco Tribastone

Published in: QAPL (2014)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
web services composition
concurrent programs
machine learning
data warehouse
communication protocols
petri net
real time
database
fine grained
database systems
case study
knowledge base
social networks