1894 search results - page 85 / 379 » A TLA Proof System |
174
Voted
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
84
Voted
IGPL
2002
15 years 16 days ago
2002
The system of natural deduction that originated with Gentzen (1934
131
Voted
EUROCRYPT
2011
Springer
14 years 4 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
APAL
2008
15 years 26 days ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
127
click to vote
SYNASC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...