510 search results - page 65 / 102 » An Algebraic Framework for Urgency |
215
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
171
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
161
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
160
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
159
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...