机译:可组合参数化高级Petri网中的同步和异步通信
Departement d'informatique Universite Libre de Bruxelles B-1050 Bruxelles, Belgium;
high-level petri nets; refinement; synchronization; asynchronous links; algebra;
机译:使用开放Petri网的同步和异步交互的模块化编码
机译:使用高级Petri网对Sdl指定的通信协议进行建模和验证
机译:使用高级Petri网验证Estelle特定的通信协议
机译:关于模块化高级网络中的同步和异步通信:ECATNets的情况
机译:在异步学习网络中使用同步计算机介导的通信的现场研究。
机译:为CSCL增色不少;了解同步和异步通信的结合使用以及动机在计算机支持的协作学习中的作用
机译:使用可组合高级Petri网的存储模块规范
机译:用于多址通信的同步和信道感知异步动态组随机访问方案