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 ↑

GEM(ID:3509/gem001)

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

References:

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