Napredna pretraga

Pregled bibliografske jedinice broj: 649593

Timed Collaborative Systems with Real Time


Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
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)


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-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


Projekt / tema
009-0091328-0941 - Logika i stvarnost (Majda Trobok, )
120-1203164-3074 - Matematička logika i primjene (Zvonimir Šikić, )

Ustanove
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)