A Semantic Framework for Formal Analysis of Concurrent Systems.

Published in: PDPTA (2002)

Keyphrases

formal analysis
concurrent systems
probabilistic model
lightweight
temporal logic
formal methods
process algebra
natural language
relational databases
distributed systems
semantic web