BOOKS by Mingsheng Ying

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs more books like this

by Mingsheng Ying

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, ...

see all copies from $16.92!

new only from $16.92! | first editions | SVS

Fuzzy Logic and Soft Computing more books like this

by Guoqing Chen, Chen Guoqing Chen (Editor), Ying Mingsheng Ying (Editor)

"Fuzzy Logic and Soft Computing" contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word ...

see all copies from $42.50!

new only from $173.06! | SVS