Maria Grazia Vigliotti, Peter G. Harrison
Stochastic Ambient Calculus
QAPL, 2006.
@article{QAPL-2006-VigliottiH, author = "Maria Grazia Vigliotti and Peter G. Harrison", doi = "10.1016/j.entcs.2006.07.018", journal = "{Electronic Notes in Theoretical Computer Science}", number = 3, pages = "169--186", title = "{Stochastic Ambient Calculus}", volume = 164, year = 2006, }