Sciweavers

Share
ENTCS
2008
120views more  ENTCS 2008»
8 years 4 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
CONCUR
2008
Springer
8 years 6 months ago
On the Construction of Sorted Reactive Systems
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
Lars Birkedal, Søren Debois, Thomas T. Hild...
FOSSACS
2006
Springer
8 years 8 months ago
Bigraphical Models of Context-Aware Systems
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
Lars Birkedal, Søren Debois, Ebbe Elsborg, ...
COORDINATION
2006
Springer
8 years 8 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
books