C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.
Frank S. de Boer
Einar Broch Johnsen
Rudolf Schlatte
Silvia Lizeth Tapia Tarifa
Lars Tveito
Published in:
Gabbrielli's Festschrift (2020)
Keyphrases
</>
partial order reduction
model checking
petri net
expressive power
language independent
databases
cross lingual
arabic language
query answering
object oriented
natural language processing
fixed point
statistical machine translation
multi lingual
object oriented languages
control center