CADP 2011: a toolbox for the construction and analysis of distributed processes

出版年份 2012 全文链接

标题

作者

关键词

Asynchronous concurrency, Equivalence checking, Formal methods, Model checking, Performance evaluation, Process calculus, Verification

出版物

Volume 15, Issue 2, Pages 89-107

出版商

Springer Nature

发表日期

2012-07-09

DOI

10.1007/s10009-012-0244-z

参考文献

查看 3 条相关文献

联系作者

Discuss science. Find collaborators. Network.

Join a conversation

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now