✦ LIBER ✦

Process algebra approach to reasoning about concurrent actions

✍ Scribed by Yuan Feng; Ming-Sheng Ying

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about concurrent actions in mu

✍ Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 555 KB

A rough set approach to reasoning about

✍ J. F. Peters; A. Skowron 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 31 KB 👁 2 views

A linear programming approach to reasoni

✍ Dimitris Kavvadias; Christos H. Papadimitriou 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 1009 KB

A logical approach to representing and r

✍ A. G. Cohn; J. M. Gooday; B. Bennett; N. M. Gotts 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

Symbolic Approaches to Probability Distr

✍ C. Tofts 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 245 KB

Concurrent competitive wave approach to

✍ Dianxun Shuai 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 923 KB