On the Succinctness of Idioms for Concurrent Programming.

David Harel Guy Katz Robby Lampert Assaf Marron Gera Weiss

Published in: CONCUR (2015)

Keyphrases

concurrent programming
programming language
modal logic
knowledge compilation
concurrent programs
relational databases
temporal logic
chinese language