【Alloy】形式言語による仕様記述【VDM】

[271 デフォルトの名無しさん 2015/04/24(金) 23:38:42.03 ID:belF3Fjq]

SPINを勉強し始めたところなんだけど、ミューテックス/セマフォ/モニタって
promelaでどう記述するのが一般的なんだろう？
セマフォはBasic Spin Manualにあったけど、どこかにまとまった情報がないかな。