2015
DOI: 10.1016/j.jlamp.2015.06.002
|View full text |Cite
|
Sign up to set email alerts
|

Automated type-based analysis of injective agreement in the presence of compromised principals

Abstract: Please cite this article in press as: B. Sattarzadeh, M.S. Fallah, Automated type-based analysis of injective agreement in the presence of compromised principals, Journal of Logical and Algebraic Methods in Programming (2015), http://dx.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2016
2016
2016
2016

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 69 publications
(124 reference statements)
0
0
0
Order By: Relevance