IEEE - Institute of Electrical and Electronics Engineers, Inc. - Interpreted Systems and ATL Logics
2009 Fourth International Conference on Computer Sciences and Convergence Information Technology (ICCIT)
|Publisher:||IEEE - Institute of Electrical and Electronics Engineers, Inc.|
|Publication Date:||1 November 2009|
|Conference Location:||Seoul, Korea, Korea (South)|
|Conference Date:||24 November 2009|
|Page(s):||1,259 - 1,261|
We compare Interpreted systems and ATL (Alternating-time Temporal Logic) and study the similarities and differences between the two semantics.