Compositional abstraction of CSPZ processes

被引：0
|
作者：
Centre of Informatics, Federal University of Pernambuco, Cidade Universitaria, P.O. Box 7851, 50732-970 - Recife - PE, Brazil [1 ]
机构：
来源：
Journal of the Brazilian Computer Society | 2008年 / 14卷 / 02期
关键词：
D O I：
10.1590/S0104-65002008000200003
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 44
相关论文
共 50 条
  • [41] Compositional modelling of workflow processes
    Salimifard, K
    Wright, MB
    EURASIA-ICT 2002: INFORMATION AND COMMUNICATION TECHNOLOGY, PROCEEDINGS, 2002, 2510 : 289 - 296
  • [42] A model of behaviour abstraction for communicating processes
    Koutny, M
    Pappalardo, G
    STACS'99 - 16TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1999, 1563 : 313 - 322
  • [43] The cognitive processes of abstraction and formal inferences
    Wang, YX
    ICCI 2005: Fourth IEEE International Conference on Cognitive Informatics - Proceedings, 2005, : 18 - 26
  • [44] Abstraction of parallel uniform processes with data
    Pang, J
    van de Pol, J
    Espada, NV
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 14 - 23
  • [45] Processes of Abstraction and Representation: An Initial Exploration
    Crossley, Julia
    PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL. 2, 2023, : 617 - 618
  • [46] Abstraction processes in artificial grammar learning
    Shanks, DR
    Johnstone, T
    Staggs, L
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 1997, 50 (01): : 216 - 252
  • [47] Behaviour abstraction for communicating sequential processes
    Koutny, M
    Pappalardo, G
    FUNDAMENTA INFORMATICAE, 2001, 48 (01) : 21 - 54
  • [48] Generative abstraction of Markov population processes
    Cairoli, Francesca
    Anselmi, Fabio
    d'Onofrio, Alberto
    Bortolussi, Luca
    THEORETICAL COMPUTER SCIENCE, 2023, 977
  • [49] On the Psychology of So Called Abstraction Processes
    Weigl, Egon
    ZEITSCHRIFT FUR PSYCHOLOGIE UND PHYSIOLOGIE DER SINNESORGANE, 1927, 103 : 1 - 45
  • [50] Compositional abstraction-based synthesis for networks of stochastic switched systems
    Lavaei, Abolfazl
    Soudjani, Sadegh
    Zamani, Majid
    AUTOMATICA, 2020, 114
12345