Sort by: Order: Results:

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 ...