Sciweavers

6 search results - page 2 / 2
» Name Creation vs. Replication in Petri Net Systems
Sort
View
ECEASST
2008
106views more  ECEASST 2008»
13 years 5 months ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan