AN INTRODUCTION TO PROCESS ALGEBRA

被引：0

作者：

KOYMANS, CPJ

VRANCKEN, JLM

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：847 / 847

页数：1

共 50 条

[41] Hybrid process algebra
Cuijpers, PJL
Reniers, MA
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 62 (02): : 191 - 245
[42] Symmetry in process algebra
Jiang, Jianmin
Wu, Jinzhao
Shu, Hongping
TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 450 - +
[43] Resources in process algebra
Lee, Insup
Philippou, Anna
Sokolsky, Oleg
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 72 (01): : 98 - 122
[44] PROCESS ALGEBRA WITH GUARDS
GROOTE, JF
PONSE, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 235 - 249
[45] Linear Process Algebra
Pratt, Vaughan
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, 2011, 6536 : 92 - 111
[46] Process Algebra as Modelling
Tofts, Chris
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 323 - 326
[47] AN ALGEBRA FOR PROCESS CREATION
BAETEN, JCM
VAANDRAGER, FW
ACTA INFORMATICA, 1992, 29 (04) : 303 - 334
[48] A Generic Process Algebra
Baeten, Jos C. M.
Bravetti, Mario
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
[49] Process algebra in PVS
Basten, T
Hooman, J
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 270 - 284
[50] Process Opacity for Timed Process Algebra
Gruska, Damas P.
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 151 - 160