DocumentCode
3170307
Title
A temporal logic language for distributed environments
Author
Lambiri, Cristian ; Ionescu, Dan
Author_Institution
Dept. of Electr. Eng., Ottawa Univ., Ont., Canada
fYear
1994
fDate
25-28 Sep 1994
Firstpage
625
Abstract
For the last two decades temporal logic has been used for specifying parallel and concurrent systems. Although a large number of axiomatics have been proposed all of them use an interleaved model of concurrency for modelling purposes. In this paper we present a temporal logic system that introduces two new modal operators which specifically denote the parallel or serial way of computation
Keywords
formal specification; parallel programming; specification languages; temporal logic; axiomatics; distributed environments; modal operators; temporal logic; temporal logic language; Logic; Parallel programming; Software requirements and specifications; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1994. Conference Proceedings. 1994 Canadian Conference on
Conference_Location
Halifax, NS
Print_ISBN
0-7803-2416-1
Type
conf
DOI
10.1109/CCECE.1994.405829
Filename
405829
Link To Document