2148 search results - page 18 / 430 » Responsiveness in Process Calculi |
165
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
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...
145
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
159
Voted
CONCUR
2009
Springer
15 years 1 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
118
Voted
TON
1998
15 years 3 months ago
1998
— This paper explores the variations in mean queue length for stationary arrival processes with the same mean and autocorrelation functions, or equivalently, the same mean and po...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...