Analysing Petri Nets in a Calculus of Context-Aware Ambients.

Franois Siewe, Vasileios Germanos, Wen Zeng

Browse the full COMPSAC paper archive.