Pregled bibliografske jedinice broj: 649593
Timed Collaborative Systems with Real Time
Timed Collaborative Systems with Real Time // Logic and Applications 2013, Book of Abstracts
Dubrovnik, Hrvatska, 2013. str. 9-11 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 649593 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Timed Collaborative Systems with Real Time
Autori
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic and Applications 2013, Book of Abstracts
/ - , 2013, 9-11
Skup
Logic and Applications 2013
Mjesto i datum
Dubrovnik, Hrvatska, 16.09.2013. - 20.09.2013
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Filozofija
POVEZANOST RADA
Projekti:
009-0091328-0941 - Logika i stvarnost (Trobok, Majda, MZOS ) ( CroRIS)
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Sveučilište u Rijeci, Fakultet za matematiku
Profili:
Tajana Ban Kirigin
(autor)
