Language peer sets for PROMELA:
Designed 1996 ↑
1990s languages ↑
PROMELA(ID:2410/pro051)alternate simple view
Country: United States
for PROcess MEta LAnguage
Holzmann, Bell Labs
A simple modelling language with processes, guards, channels and simple variables.
A level language to specify systems descriptions, it is part of the Spin system for the formal verification of distributed systems.
Promela has processes, channels & shared variables as its basic concepts
Language for building finite state machines.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder