GEM(ID:3509/gem001)

Concurrent specification language  

for Group Element Model

Concurrent language for design in Electric CAD Workbench

Amy Lansky and Susan Owicki; Computer Systems Laboratory at Stanford University 1985
References:
  • Lansky, Amy and Susan Owicki "GEM: a tool for concurrency specification and verification" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-83-251 November 1983 view details Abstract: The GEM model of concurrent computation is presented. Each GEM computation consists of a set of partially ordered events, and represents a particular concurrent execution. Language primitives for concurrency, code segments, as well as concurrency problems may be described as logic formulae (restrictions) on the domain of possible GEM computations. An event-oriented method of program verification is also presented. GEM is unique in its ability to easily describe and reason about synchronization properties.
    pdf