设计并完成一个并发模型,即国王和骑士的圆桌会议。使用Java 语言的monitor 方法完成,并且使用一个LTSA 的工具用FSP 将整个模型重新建模用来检查模型存在的死锁等问题。
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool