On the Compositionality of Round Abstraction

DOI10.1007/978-3-642-15375-4_29zbMath1287.68134OpenAlexW1528810230MaRDI QIDQ3584946

Dan R. Ghica, Mohamed Menaa

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://etheses.bham.ac.uk/3381/1/Menaa12PhD.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Multigames and strategies, coalgebraically

This page was built for publication: On the Compositionality of Round Abstraction