A Journey from Process Algebra via Timed Automata to Model Learning 3 contributors - Paperback £44.99 Find out more