Sequential and concurrent behaviour in Petri net theory
- 作者Eike Best; Raymond Devillers
- 卷第55卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小6779.34KB
- 发表时间1987
- DOI10.1016/0304-3975(87)90090-9
- 页码87-136
[Communications in Computer and Information Science] Information Processing and Management of Uncertainty in Knowledge-Based Systems Volume 611 || From Kripke to Neighborhood Semantics for Modal Fuzzy LogicsCarvalho, Joao Paulo; Lesot, Marie-Jeanne; Kaymak, Uzay; Vieira, Susana; Bouchon-Meunier, Bernadette; Yager, Ronald R. · 2016
[IEEE 2007 International Conference on Wireless Communications, Networking and Mobile Computing - Shanghai, China (2007.09.21-2007.09.25)] 2007 International Conference on Wireless Communications, Networking and Mobile Computing - Modal Logic-Based Policy Management for Distributed Networked Systems and ApplicationZhang, Guomin; Chen, Ming; Xiong, Huan; Wang, Na · 2007
[Communications in Computer and Information Science] Information Processing and Management of Uncertainty in Knowledge-Based Systems Volume 611 || Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy LogicCarvalho, Joao Paulo; Lesot, Marie-Jeanne; Kaymak, Uzay; Vieira, Susana; Bouchon-Meunier, Bernadette; Yager, Ronald R. · 2016
Decidability of DPDA equivalenceColin Stirling · 2001
A fair calculus of communicating systemsGerardo Costa; Colin Stirling · 1984
Follow set error recoveryColin Stirling · 1985
Weak and strong fairness in CCSGerardo Costa; Colin Stirling · 1987
Quality Control: Linking Retrotranslocation and DegradationColin J. Stirling; J. Michael Lord · 2006
Local model checking for infinite state spacesJulian Bradfield; Colin Stirling · 1992
Playing games and proving properties of concurrent systemsColin Stirling · 1998