Discrete time process algebra

被引：0
|
作者：
Department of Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands [1 ]
机构：
来源：
Formal Aspects Comput | / 2卷 / 188-208期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algebra
引用
收藏
相关论文
共 50 条
  • [1] DISCRETE-TIME PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 401 - 420
  • [2] Extending timed process algebra with discrete stochastic time
    Markovski, Jasen
    de Vink, Erik P.
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 268 - 283
  • [3] Discrete time process algebra: absolute time, relative time and parametric time
    Baeten, J.C.M.
    Bergstra, J.A.
    [J]. Fundamenta Informaticae, 1997, 29 (1-2): : 51 - 76
  • [4] Information flow analysis in a discrete-time process algebra
    Focardi, R
    Gorrieri, R
    Martinelli, F
    [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 170 - 184
  • [5] The I(2)C-bus in discrete-time process algebra
    Bos, SHJ
    Reniers, MA
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 235 - 258
  • [6] Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems
    Markovski, J.
    de Vink, E. P.
    [J]. 2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 180 - 189
  • [7] SPADES - a process algebra for discrete event simulation
    Harrison, PG
    Strulo, B
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (01) : 3 - 42
  • [8] Time and probability in process algebra
    Andova, S
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 323 - 338
  • [9] A LINEAR TIME PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 432 - 442
  • [10] DISCRETE-TIME-SYSTEMS AND DIFFERENCE ALGEBRA
    FLIESS, M
    [J]. FORUM MATHEMATICUM, 1990, 2 (03) : 213 - 232
12345