709 search results - page 97 / 142 » An Equational Theory for Transactions |
109
click to vote
APAL
1999
15 years 14 days ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
107
Voted
RC
2002
15 years 13 days ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
93
Voted
JAT
2010
14 years 11 months ago
2010
A common problem in applied mathematics is that of finding a function in a Hilbert space with prescribed best approximations from a finite number of closed vector subspaces. In ...
95
Voted
PE
2010
Springer
14 years 11 months ago
2010
Springer
This paper examines a discrete-time queuing system with applications to telecommunications traffic. The arrival process is a particular Markov modulated process which belongs to t...
127
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...