Why do some things pass under the radar of our attention, but other things capture our interest? Why do some religions catch on and others fade away? What makes a story, a movie, or a book riveting? Why do some people keep watching the...

The research contained in this book represents work on the specification and verification of real-time systems using CSP. von Davies, Jim