Istituto di Scienze e Tecnologie dell'Informazione, Universita di Urbino;
机译:使用代数规范和软件组件的工厂控制软件的高效开发方法
机译:使用代数规范和软件组件的工厂控制软件的高效开发方法
机译:基于状态扩展的技术,用于在分布式系统中合成并发协议规范
机译:从过程代数规格中合成并发控制组件
机译:并发软件规范的序列化以及处理器自治权对并行程序执行的影响。
机译:轴指定过程中gurken /TGF-αmRNA的局部翻译受加工机构中Orb / CPEB的访问控制
机译:从过程代数规范合成并发控制组件
机译:过程代数的代数规范,包括两个例子