Hrvatska znanstvena bibliografija (CROSBI)



Pregled bibliografske jedinice broj: 649593

Zbornik radova

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Naslov: Timed Collaborative Systems with Real Time
Izvornik: Logic and Applications 2013, Book of Abstracts
Skup: Logic and Applications 2013
Mjesto i datum: Dubrovnik, Hrvatska, 16-20.09.2013
Ključne riječi: Collaborative systems ; Computational complexity ; Real time systems
Sažetak:
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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 009-0091328-0941, 120-1203164-3074
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Filozofija
Puni text rada: 649593.Real_time_TLSTS_-_LAP_2013.pdf (tekst priložen 6. Stu. 2014. u 00:18 sati)
URL Internet adrese: http://imft.ftn.uns.ac.rs/math/cms/LAP2013
http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2013abstracts.pdf
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 24. Lis. 2013. u 23:46 sati