709 search results - page 60 / 142 » An Equational Theory for Transactions |
MFCS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
WCC
2005
Springer
15 years 4 months ago
2005
Springer
We relate the one- and two-variable interlace polynomials of a graph to the spectra of a quadratic boolean function with respect to a strategic subset of local unitary transforms. ...
ASIAN
1998
Springer
15 years 3 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
AUTOMATICA
2000
14 years 11 months ago
2000
The use of linear quadratic theory in bumpless transfer is discussed and a modification to a similar scheme proposed in [9] is suggested. Formulae are given for a feedback element...
145
click to vote
PCS
2011
14 years 6 months ago
2011
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary diï¬...