A denotational semantics for PROMELA addressing arbitrary jumps.

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

Published in: CoRR (2021)

Keyphrases

denotational semantics
programming language
operational semantics
markov chain
query language
abstract data types
database
data structure
object oriented
general purpose
user defined