Title :
A temporal logic language for distributed environments
Author :
Lambiri, Cristian ; Ionescu, Dan
Author_Institution :
Dept. of Electr. Eng., Ottawa Univ., Ont., Canada
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;
Conference_Titel :
Electrical and Computer Engineering, 1994. Conference Proceedings. 1994 Canadian Conference on
Conference_Location :
Halifax, NS
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1994.405829
