BetaSim

swMATH1379MaRDI QIDQ14118FDOQ14118

Author name not available (Why is that?)

Described by source

• BetaSIM

Cited In (2)

• Synchronization abstraction in the BETA programming language
• Honesty by Typing

This page was built for software: BetaSim