BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Beauxis:Romain

Contributed to:

CSL 20112011
ICLP 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.