Lics

IEEE Symposium on Logic in Computer Science

Paper: Temporal Linear Logic Specifications for Concurrent Processes (at LICS 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.

BibTeX

 @InProceedings{KanovichIto-TemporalLinearLogic,
 author = 	 {Max I. Kanovich and Takayasu Ito},
 title = 	 {Temporal Linear Logic Specifications for Concurrent Processes},
 booktitle = {Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS 1997)},
 year =	 {1997},
 month =	 {June}, 
 pages = {48--57},
 location = {Warsaw, Poland}, 
 publisher =	 {IEEE Computer Society Press}
 }