H ? « »

Language peer sets for GEM:
United States
United States/1985
Designed 1985
1980s languages
Fifth generation
Late Cold War
Specialised Languages
Specialised Languages/1985
Specialised Languages/us


Concurrent specification language  

alternate simple view
Country: United States
Designed 1985
Published: 1985
Sammet category: Specialised Languages

for Group Element Model

Concurrent language for design in Electric CAD Workbench

Amy Lansky and Susan Owicki; Computer Systems Laboratory at Stanford University 1985

  • Lansky, Amy and Susan Owicki (1983) 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 Abstract pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder