290 search results - page 10 / 58 » Congruence for Structural Congruences |
PRL
2008
13 years 7 months ago
2008
This paper presents an efficient and robust approach for MRI
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Our study examines the fit concept in the context of IS planning, a major research stream in the IS literature. Previous research reveals inconsistencies in the IS planning litera...
AISC
2004
Springer
14 years 24 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
BIRTHDAY
2005
Springer
14 years 26 days ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...
ENTCS
2008
13 years 7 months ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...