Event Refinement in State-Based Concurrent Systems.

Jane E. Sinclair Jim Woodcock

Published in: Formal Aspects Comput. (1995)

Keyphrases

concurrent systems
transition systems
event detection
temporal logic
process algebra
website
data sets
state space
distributed systems
model checking
production system
news articles
event driven