Travelled to:1 × Canada
1 × Norway
Collaborated with:S.M.More B.Sapp R.Kelvey
Talks about:independ (2) function (1) concurr (1) semant (1) secret (1) geiger (1) depend (1) relat (1) pearl (1) axiom (1)
Person: Pavel Naumov
DBLP: Naumov:Pavel
Contributed to:
2011
2010Wrote 2 papers:
- CSL-2011-MoreNS #axiom #concurrent #independence #semantics
- Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence (SMM, PN, BS), pp. 443–457.
- KR-2010-KelveyMNS #dependence #functional #independence
- Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).