Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
Huang, Xiaowei and Meyden, Ron (2013) Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. In: In the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013.
|
Text
c-19.pdf Download (182kB) |
| Item Type: | Conference or Workshop Item (Paper) | ||||
|---|---|---|---|---|---|
| Dates: |
|
||||
| Subjects: | CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science | ||||
| Divisions: | Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology |
||||
| Depositing User: | Oana-Andreea Dumitrascu | ||||
| Date Deposited: | 05 Jun 2017 11:33 | ||||
| Last Modified: | 22 Mar 2023 12:02 | ||||
| URI: | https://www.open-access.bcu.ac.uk/id/eprint/4505 |
Actions (login required)
 |
View Item |
Tools
Tools
Tools
CORE (COnnecting REpositories)