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 条

[21] Compositional Abstraction in Real-Time Model Checking
Berendsen, Jasper
Vaandrager, Frits
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 233 - 249
[22] Hierarchical planning in a supervisory control context with compositional abstraction
Juliana Vilela
Richard Hill
Discrete Event Dynamic Systems, 2022, 32 : 89 - 113
[23] Compositional pattern producing networks: A novel abstraction of development
Kenneth O. Stanley
Genetic Programming and Evolvable Machines, 2007, 8 : 131 - 162
[24] Compositional pattern producing networks: A novel abstraction of development
Stanley, Kenneth O.
GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 2007, 8 (02) : 131 - 162
[25] A Component Abstraction for Business Processes
Barat, Souvik
Kulkarni, Vinay
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT II, 2012, 100 : 301 - 313
[26] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION
BERGSTRA, JA
KLOP, JW
THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) : 77 - 121
[27] PRINCIPLES OF ABSTRACTION FOR EVENTS AND PROCESSES
ROEPER, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1987, 16 (03) : 273 - 307
[28] Abstraction and adherence in discourse processes
Wood, Tahir
JOURNAL OF PRAGMATICS, 2009, 41 (03) : 484 - 496
[29] ABSTRACTION PROCESSES IN THE PERCEPTION OF PERSONS
BUXBAUM, O
ZEITSCHRIFT FUR EXPERIMENTELLE UND ANGEWANDTE PSYCHOLOGIE, 1982, 29 (03): : 397 - 416
[30] Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models
Meyer, Pierre-Jean
Girard, Antoine
Witrant, Emmanuel
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (06) : 1835 - 1841

← 1 2 3 4 5 →