首页> 外文OA文献 >A compiler to implement LOTOS specifications on distributed environments

【2h】

A compiler to implement LOTOS specifications on distributed environments

机译：用于在分布式环境中实现LOTOs规范的编译器

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A compiler to implement LOTOS specifications in distributed environments [J] . Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi Computer networks . 2001,第2a3期

机译：在分布式环境中实现LOTOS规范的编译器
2. Implementation of LOTOS Specifications on Distributed Environments and Its Evaluation [J] . HIROKI TATSUMOTO, KAZUHIRO GOTOH, KEIICHI YASUMOTO 情報処理学会論文誌 . 1999,第1期

机译：LOTOS分布式环境规范的实施及其评估
3. A common compiler for LOTOS and SDL specifications [J] . IBM Systems Journal . 1992,第4期

机译：LOTOS和SDL规范的通用编译器
4. DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation [C] . Hugues Evrard International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software . 2016

机译：DLC：将并行系统正式规范编译为分布式实现
5. Automatic resource specification generation for resource selection in large-scale distributed environments [D] . Huang, Richard Yu-Hua 2007

机译：在大型分布式环境中自动生成资源规范以进行资源选择
6. Implementing a Physicians Workstation using client/server technology and the distributed computing environment. [O] . T. Q. Pham, C. Y. Young, P. C. Tang, 1994

机译：使用客户端/服务器技术和分布式计算环境来实现医师工作站。
7. DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation [O] . Evrard, Hugues 2016

机译：DLC：将并行系统正式规范编译为分布式实现
8. LOTOS MIRANDA: A Functional Environment for the Implementation of View Functionsfor LOTOS [R] . Latella, D. 1990

机译：LOTOs mIRaNDa：实现LOTOs视图功能的功能环境

A compiler to implement LOTOS specifications on distributed environments

著录项

引文网络

相似文献

相关主题

期刊订阅