BetaSim

swMATH1379MaRDI QIDQ14118FDOQ14118

Author name not available (Why is that?)

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