MPG.eBooks - Author Search Results

Cover Image

1

Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

by Bowman, Howard, Gomez, Rodolfo
Published 2006

Springer London

Cover Image

2

Formal Methods for Open Object-based Distributed Systems : Volume 2

Published 1997

Springer US

Other Authors: “...Bowman, Howard...”