7 search results - page 2 / 2 » Deriving Barbed Bisimulations for Bigraphical Reactive Syste... |
ENTCS
1998
13 years 5 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
ENTCS
2006
13 years 5 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...