Return to Article Details On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets Download Download PDF