Regular expressions in process algebra

被引：0
|
作者：
Baeten, JCM [1 ]
Corradini, F [1 ]
机构：
[1] Tech Univ Eindhoven, Div Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS | 2005年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We tackle an open question of Milner ([10]). We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of regular expressions.
引用
收藏
页码：12 / 19
页数：8
相关论文
共 50 条
  • [1] Non-regular iterators in process algebra
    Bergstra, JA
    Ponse, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 203 - 229
  • [2] CONVERTING NESTED ALGEBRA EXPRESSIONS INTO FLAT ALGEBRA EXPRESSIONS
    PAREDAENS, J
    VANGUCHT, D
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1992, 17 (01): : 65 - 93
  • [3] GENERATION OF REGULAR EXPRESSIONS FOR AUTOMATA BY INTEGRAL OF REGULAR EXPRESSIONS
    SMITH, LW
    YAU, SS
    [J]. COMPUTER JOURNAL, 1972, 15 (03): : 222 - &
  • [4] The box algebra equals Petri nets plus process expressions
    Best, E
    Devillers, R
    Koutny, M
    [J]. INFORMATION AND COMPUTATION, 2002, 178 (01) : 44 - 100
  • [5] COMPILATION OF PROCESS ALGEBRA EXPRESSIONS INTO DELAY-INSENSITIVE CIRCUITS
    JESSHOPE, CR
    NEDELCHEV, IM
    HUANG, CG
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1993, 140 (05): : 261 - 268
  • [6] Regular expressions
    Becker, P
    [J]. DR DOBBS JOURNAL, 2006, 31 (05): : 52 - +
  • [7] Regular transducer expressions for regular transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    [J]. INFORMATION AND COMPUTATION, 2022, 282
  • [8] Regular Transducer Expressions for Regular Transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    [J]. LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 315 - 324
  • [9] Iterated Process Analysis over Lattice-Valued Regular Expressions
    Midtgaard, Jan
    Nielson, Flemming
    Nielson, Hanne Riis
    [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 132 - 145
  • [10] Forkable Regular Expressions
    Sulzmann, Martin
    Thiemann, Peter
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 194 - 206
12345