首页> 外文OA文献 >M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages

【2h】

M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages

机译：M-net：高级陪替氏网的代数，在并行编程语言语义中的应用

页面导航

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

著录项

作者
Eike Best; Wojciech Fraczak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Compositional high-level Petri net semantics of a parallel programming language with procedures [J] . Hanna Klaudel Science of Computer Programming . 2001,第3期

机译：具有过程的并行编程语言的组合高级Petri网语义
2. Causal Semantics Of Algebraic Petri Nets Distinguishing Concurrency And Synchronicity [J] . Gabriel Juhas, Robert Lorenz, Sebastian Mauser Fundamenta Informaticae . 2008,第3期

机译：代数Petri网区分并发和同步的因果语义。
3. Sequential versus concurrent languages of labeled conflict-freePetri nets [J] . Hsu-Chun Yen IEEE Transactions on Automatic Control . 2002,第7期

机译：标记无冲突Petri网的顺序语言和并发语言
4. A semantics of Security Protocol Language (SPL) using a class of composable high-level Petri nets [C] . Bouroulet, R., Klaudel, . 2004

机译：使用一类可组合的高级Petri网的安全协议语言（SPL）的语义
5. High-level Petri net semantics of concurrent and non-concurrent logic programs. [D] . Jeffrey, John Michael. 1993

机译：并发和非并发逻辑程序的高级Petri网语义。
6. Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks [O] . Jacob Beal, Ting Lu, Ron Weiss 2008

机译：从高级的面向生物的编程语言到遗传监管网络的自动编译
7. Petri Nets, Process Algebras and Concurrent Programming Languages [O] . Eike Best, Raymond Devillers, Maciej Koutny 1998

机译：petri网，进程代数和并发编程语言
8. Relating Denotational and Operational Semantics for Programming Languages with Recursion and Concurrency [R] . Meyer, J. J. C., de Vink, E. P. 1989

机译：用递归和并发关系编程语言的指称和操作语义

M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages

著录项

引文网络

相似文献

相关主题

期刊订阅