A synchronous calculus of relative frequency
- 16 June 2005
- book chapter
- Published by Springer Nature
- p. 467-480
- https://doi.org/10.1007/bfb0039078
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Bisimulation through probabilistic testing (preliminary report)Published by Association for Computing Machinery (ACM) ,1989
- Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1Fundamenta Informaticae, 1986
- Randomised algorithmsDiscrete Applied Mathematics, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983