Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.

Elena Giachino Einar Broch Johnsen Cosimo Laneve Ka I Pun

Published in: FACS (2015)

Keyphrases

concurrent programs
machine learning
end users
knowledge based systems