432 search results - page 1 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
SPIN
2000
Springer
13 years 8 months ago
2000
Springer
GI
2010
Springer
13 years 2 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
This paper characterizes the effect of finite rate channel state feedback on the sum rate of a multi-access multiple-input multiple-output (MIMO) system. We propose to control th...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...