39 citations · 127 across the 31 of their papers we have counts for
Showing 2004 · cs.LOShow all
3 papers · 2 filters
cs.LO2004
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
cs.LO2004
A Coalgebraic Approach to Kleene Algebra with Tests
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…
cs.LO2004
An Analysis of Lambek's Production Machines
Riccardo Pucella
Lambek's production machines may be used to generate and recognize sentences in a subset of the language described by a production grammar. We determine in this paper the subset of…