BetaSim

MaRDI QIDQ14118swMATHFDO

Official website http://www.itu.dk/~kasper/papers/osterbye_R12.pdf

Described by source

• BetaSIM

Cited in

(4)

• Synchronization abstraction in the BETA programming language
• BETA
• Diogenes
• Honesty by typing

This page was built for software: BetaSim