911 search results - page 156 / 183 » The Semantics of Event Prevention |
140
click to vote
VMCAI
2007
Springer
16 years 5 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
130
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
150
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
172
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
185
click to vote
MFCS
1991
Springer
15 years 9 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...