Travelled to:1 × Canada
1 × Norway
Collaborated with:P.Naumov 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: Sara Miner More
DBLP: More:Sara_Miner
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).