Travelled to:
1 × Italy
1 × Norway
Collaborated with:
S.Mimram ∅
Talks about:
probabilist (1) standard (1) network (1) continu (1) concurr (1) semant (1) secur (1) model (1) time (1) kahn (1)
Person: Romain Beauxis
DBLP: Beauxis:Romain
Contributed to:
Wrote 2 papers:
- CSL-2011-BeauxisM #network #semantics #standard
- A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
- ICLP-2008-Beauxis #concurrent #modelling #probability #security
- Probabilistic and Concurrent Models for Security (RB), pp. 801–802.