123 search results - page 1 / 25 » On the Construction of Sorted Reactive Systems |
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
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...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
CONCUR
2009
Springer
13 years 9 months ago
2009
Springer
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
FUIN
2008
13 years 4 months ago
2008
Spiking neural P systems simulate the behavior of neurons sending signals through axons. Recently, some applications concerning Boolean circuits and sorting algorithms have been pr...