132 citations
- University of MichiganUS3 papers
- University of Southern MississippiUS3 papers
- National Institute of Standards and TechnologyUS2 papers
- Brookhaven National LaboratoryUS1 paper
- Centre Inria de l'université de BordeauxFR1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Dartmouth CollegeUS1 paper
- Howard UniversityUS1 paper
- Hungarian Academy of SciencesHU1 paper
- HUN-REN Alfréd Rényi Institute of MathematicsHU1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- IT University of CopenhagenDK1 paper
4 papers · 1 filter
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications
Daniel J. Dougherty
Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler, Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that co…
Some -ranks related to a conic in
Junhua Wu
Let $\A$ be the incidence matrix of lines and points of the classical projective plane with odd. With respect to a conic in , the matrix $\A$ is partitioned…
Execution Models for Choreographies and Cryptoprotocols
Marco Carbone, Joshua Guttman
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a sec…
Extensional and Intensional Strategies
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty +1
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a str…