Institute de Information, UFRGS, Av. Bento Gongalves 9500, Campus do Vale, Bloco IV, CEP 91501-970, Caixa Postal: 15064, Porto Alegre, Brazil;
anticipation; nonsequential automata; programming language; category theory;
机译:Nautilus,并发图式规范和编程语言
机译:使用并发编程模型来激发编程语言的教学
机译:程序分析以支持声明性语言的并发编程
机译:Nautilus:一种并发预期编程语言
机译:用于现代编程语言的安全和高效并发
机译:基于西班牙语的社区心理健康治疗计划政策要求的语言援助计划以及说西班牙语的客户中的心理健康治疗机会
机译:Nautilus:一种并发的预期编程语言