probabilistic automata; randomised algorithms; reachability analysis; APA specification support compositionality; CCL laws; abstract probabilistic automata; abstraction theory; acyclic APA; communication closed layer laws; component-oriented analysis; component-oriented design; layered composition operatorfor; layered reduction; layered transformation; partial order equivalence; randomized distributed systems; specification theory; state-space reduction technique; step-wise refinement methodology; Abstracts; Automata; Distributed algorithms; Probabilistic logic; Protocols; Real-time systems; Synchronization;
机译:口吃抽象概率自动机
机译:抽象概率自动机
机译:使用基于量子点蜂窝自动机的方法的分层T(LT)逻辑减少方法的普通加法器和减法器的设计,分析和成本估计
机译:抽象概率自动机的分层约简
机译:用于抽象意义代表的多车和DAG自动机
机译:基于广义概率自动机的语义计算形式模型
机译:口吃抽象概率自动机
机译:模糊星函数,概率自动机及其非概率自动机的逼近。