On synchronization and its specification

Ramamritham, Krithivasan ; Keller, Robert M. (1981) On synchronization and its specification Lecture Notes in Computer Science, 111 . pp. 271-282. ISSN 0302-9743

Full text not available from this repository.

Official URL: http://www.springerlink.com/content/7qghn231826246...

Related URL: http://dx.doi.org/10.1007/BFb0105124


We introduce a very high level language for specifying synchronization properties. It is designed using the primitives of temporal logic which facilitates the specification of both invariant and time-dependent properties. The paper begins with a discussion of properties that affect synchronization. The specification language then introduced features constructs to express each of these in a fairly natural and modular fashion. Since the statements in the language have intuitive interpretations, specifications are humanly readable. Also, since they possess appropriate formal semantics, unambiguous specifications result.

Item Type:Article
Source:Copyright of this article belongs to Springer-Verlag.
ID Code:94361
Deposited On:05 Sep 2012 09:08
Last Modified:05 Sep 2012 09:08

Repository Staff Only: item control page