Gottmann, Susann, University of Luxembourg, Luxembourg
-
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Articles
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.