[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