School of Science and Engineering
University of Dundee
United Kingdom Research topics: Component and interface algebras, Dynamic networks of interconnections, Logic programming, Multi-valued specification, Service-oriented computing
(updated at 2017-01-09)