Browsing by Author "Gorla, Daniele"

UTSePress Research/Manakin Repository

Search UTSePress Research

Browse

My Account

Browsing by Author "Gorla, Daniele"

Sort by: Order: Results:

  • Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry (Springer, 2010)
    Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern ...