项目描述 ：
设计并完成一个并发模型，即国王和骑士的圆桌会议。使用Java 语言的monitor 方法完成，并且使用一个LTSA 的工具用FSP 将整个模型重新建模用来检查模型存在的死锁等问题。

高级语言： Java

项目主页：

项目地址: git://github.com/Piccky/Concurrent-System-Design-and-Analysis.git

创建时间： 2020-07-17T11:35:16Z
项目社区：https://github.com/Piccky/Concurrent-System-Design-and-Analysis
开源协议：
下载