Hello World in LOTOS (Language Of Temporal Ordering Specifications) - Code Snippets OpenTags.org

Hello World in LOTOS (Language Of Temporal Ordering Specifications)

Mark As Favorite

posted on 2009-09-15 16:27:50+08:00 by david

LOTOS

(* Hello World in LOTOS (Language Of Temporal Ordering Specifications) *)
 
process HelloWorld [v]: exit :=
  v! "Hello World!";
  exit
endproc