Browsing Computer Science (PhD Theses) by Author "Beg, Mirza Muhammad Arshad"
Now showing items 1-1 of 1
-
Translating from "State-Rich" to "State Poor" process algebras
Beg, Mirza Muhammad Arshad (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016)Following the development of formalisms based on data and behavioural aspects of the system, there are a number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. Circus being a ...