1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2012
Roadmap Document on Stochastic Analysis
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard +4
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for f…
cs.PF2011★ 1 cited
A Stochastic Broadcast Pi-Calculus
Lei Song, Flemming Nielson, Bo Friis Nielsen
In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant.…