A denotational semantics for PROMELA addressing arbitrary jumps

Marco Comini, María del Mar Gallardo, Alicia Villanueva

PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the mode…