Login / Signup
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