首页> 外文OA文献 >Concurrent Semantics for the π-calculus11Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.

【2h】

Concurrent Semantics for the π-calculus11Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.

机译：π演算的并发语义1这项工作得到了Esprit基础研究项目CONFER和工作组COMPUGRAPH II以及CNR特别项目“数字系统的高级规范和形式验证”的部分支持。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Montanari Ugo; Pistore Marco;
展开▼
作者单位

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

相似文献

外文文献

1. On the complexity of orthogonal compaction☆☆Research supported in part by the CNR Project “Geometria Computazionale Robusta con Applicazioni alla Grafica ed al CAD”, by the ESPRIT LTR Project 20244 (ALCOM-IT), and by “Progetto Algoritmi per Grandi Insiemi di Dati: Scienza e Ingegneria”, MURST Programmi di Ricerca di Rilevante Interesse Nazionale. [O] . Patrignani Maurizio 2001

机译：关于正交压实的复杂性☆☆该研究得到了CNR项目“鲁棒计算几何及其在图形和CAD中的应用”，ESPRIT LTR项目20244（ALCOM-IT）和“大型项目算法的支持”。资料：《科学与工程》，有关国家利益的MURST研究计划。

Concurrent Semantics for the π-calculus11Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.

著录项

引文网络

相似文献

相关主题

期刊订阅