DocumentCode
3293252
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
fYear
1997
fDate
29 Jun-2 Jul 1997
Firstpage
48
Lastpage
57
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location
Warsaw
ISSN
1043-6871
Print_ISBN
0-8186-7925-5
Type
conf
DOI
10.1109/LICS.1997.614928
Filename
614928
Link To Document