Timed Collaborative Systems with Real Time (CROSBI ID 601367)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre
engleski
Timed Collaborative Systems with Real Time
This paper proposes a rewriting framework that can be used to specify collaborative systems equipped with real time and where agents may create fresh values. It also considers the complexity of the planning problem for systems with real time.
Collaborative systems ; Computational complexity ; Real time systems
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
9-11.
2013.
objavljeno
Podaci o matičnoj publikaciji
Logic and Applications 2013, Book of Abstracts
Podaci o skupu
Logic and Applications 2013
predavanje
16.09.2013-20.09.2013
Dubrovnik, Hrvatska