1875 search results - page 216 / 375 » A Calculus of Broadcasting Systems |
84
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
92
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
121
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
121
Voted
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
88
Voted
CP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...