Title :
Temporal linear logic specifications for concurrent processes
Author :
Kanovich, Max ; Ito, Takayasu
Author_Institution :
Dept. of Theor. & Appl. Linguistics, Russian State Univ. for the Humanities, Moscow, Russia
fDate :
29 Jun-2 Jul 1997
Abstract :
The aim of the paper is to develop comprehensive logical systems capable of handling both resource-sensitive and time-dependent properties of concurrent processes. As a language for specifying such properties, we introduce `temporal linear logic´ (TLL) an extension of linear logic with certain features of temporal logic. A semantic setting for TLL is given in terms of `time-state universes´. TLL is proved to be fully adequate for `time-state´ concurrency models
Keywords :
formal specification; temporal logic; comprehensive logical systems; concurrency models; concurrent processes; semantic setting; temporal linear logic specifications; time-dependent properties; time-state universes; Computer languages; Computer science; Concurrent computing; Game theory; Indium tin oxide; Logic design; Logic programming; Parallel processing; Petri nets; Stochastic processes;
Conference_Titel :
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-8186-7925-5
DOI :
10.1109/LICS.1997.614928
