您的位置： 专家智库 > >

琚小龙

作品数：2 被引量：2H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇经济管理

主题

  • 1篇代数
  • 1篇代数描述
  • 1篇电子商务
  • 1篇语义
  • 1篇商务
  • 1篇通信
  • 1篇通信系统
  • 1篇进程代数
  • 1篇互模拟
  • 1篇Π-演算
  • 1篇AGENT模...
  • 1篇并发

机构

  • 2篇上海交通大学

作者

  • 2篇琚小龙
  • 1篇傅育熙
  • 1篇韩晓峰

传媒

  • 1篇计算机仿真

年份

  • 1篇2004
  • 1篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
用进程代数描述面向电子商务的Agent模型被引量：2
2004年
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。该文用多价演算来描述面向电子商务的Agent间的通信流程 ,力图通过这种形式化的方法 ,清楚描述软件Agent在电子商务的交易过程中的重要作用 ,并对软件agent在电子商务中的实现有所帮助。
琚小龙韩晓峰傅育熙
关键词：进程代数电子商务AGENT模型通信系统
Pict语言的代数性质研究
程序语言有两类:一类是函数语言,一类是并发语言.相应的计算模型也可以分为两类,顺序计算模型和并发计算模型Pict是一种基于π-演算的高级并发程序语言.该文利用形式化的方法对pict语言的语义问题及其代数性质做了系统深入的...
琚小龙
关键词：Π-演算互模拟并发语义
文献传递
全选 清除 导出
共1页<1>
聚类工具0