Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.

Lucia Cloth Henrik C. Bohnenkamp Boudewijn R. Haverkort

Published in: PAPM-PROBMIV (2001)

Keyphrases

process algebra
formal specification
model checking
database
formal methods
asynchronous circuits
concurrent systems
grid workflow
web services
natural language
query language
access control
web services composition