45 search results - page 7 / 9 » Congruence of (2 |
162
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
135
click to vote
FAC
2006
15 years 5 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
140
click to vote
ANTS
1998
Springer
15 years 10 months ago
1998
Springer
Call a set of integers {b1, b2, . . . , bk} admissible if for any prime p, at least one congruence class modulo p does not contain any of the bi. Let (x) be the size of the largest...
154
click to vote
IANDC
2006
15 years 5 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Hamming weight enumerator function of the formally self-dual even, binary extended quadratic residue code of prime p = 8m + 1 is given by Gleason's theorem for singly-eve...