languages; verification; performance;
机译:默认的确定性并行语言中的安全非确定性
机译:词汇化的RRWW自动机的单词扩展程度-一种用于(无上下文)语言不确定性程度的新度量
机译:下推自动机,没有明确的不确定性和上下文无关语言的无限层次
机译:默认确定性并行语言中的安全非确定性
机译:用于默认确定性并行编程的效果系统和语言。
机译:在评估第二语言的孩子的成熟相似之处和儿童用特定的语言障碍
机译:用于默认确定性并行编程的效果系统和语言
机译:支持非确定性和同步的语言的操作和指示模型。