✦ LIBER ✦

Reasoning about Action Systems using the B-Method

✍ Scribed by M. Waldén; K. Sere

Book ID: 110266282
Publisher: Springer
Year: 1998
Tongue: English
Weight: 414 KB
Volume: 13
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008688421367

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new method for reasoning about action

✍ Jie Yang 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 343 KB

Reasoning about concurrent actions in mu

Reasoning about concurrent actions in multi-agent systems

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

Reasoning about Time, Action and Knowled

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

✍ Ji Ruan 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 139 KB

Reasoning about layered message passing

Reasoning about layered message passing systems

✍ B. Meenakshi; R. Ramanujam 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 470 KB

Lamport diagrams are partial orders which depict computations of message passing systems. It is natural to consider generalizations of linear time temporal logics over such diagrams. In Meenakshi and Ramanujam (Proceedings of ICALP 2000. Lecture Notes in Computer Science, Vol. 1853. 2000. p. 487-98.

Reasoning about almost-certain convergen

Reasoning about almost-certain convergence properties using Event-B

✍ Hoang, Thai Son 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 430 KB

Representation and Reasoning about Evolu

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions

✍ Chitta Baral; Nam Tran 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 291 KB