709 search results - page 41 / 142 » An Equational Theory for Transactions |
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
155
click to vote
JCT
2007
15 years 6 months ago
2007
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
143
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
104
click to vote
ORL
2006
15 years 6 months ago
2006
We consider an M/G/1 queueing system where the speed of the server depends on the amount of work present in the system. As a service policy, we adopt the PM , release policy in a ...
138
click to vote
SIAMAM
2002
15 years 6 months ago
2002
In this paper, we revisit experiments in which a thin liquid film forms at the tip of a capillary meniscus due to the presence of a thermally induced Marangoni shear stress. Starti...