A.S. Bavan

Articles

Formalism for high level specification of parallel/distributed languages

Industry is increasingly dependent on distributed systems. In order to prevent the users having to deal with unnecessary details, experts …