An abstract machine for concurrent modular systems: CHARM
- 作者Andrea Corradini; Ugo Montanari; Francesca Rossi
- 卷第122卷
- 印刷ISSN0304-3975
- 文件大小2765.64KB
- 发表时间1994
- DOI10.1016/0304-3975(94)90206-2
- 页码165-200
An introduction to ultimately periodic sets of integersMatos, Armando B. · ACM SIGACT News · 1994
The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers Is Not ClosedB. Bordbar and J. Pym · Transactions of the American Mathematical Society · 2000
Accurate Computation of Periodic Regions' Centers in the General M-Set with Integer Index NumberXingyuan, Wang; Yijie, He; Yuanyuan, Sun · Discrete Dynamics in Nature and Society · 2010
[IEEE 2017 Eighth International Workshop on Signal Design and its Applications in Communications (IWSDA) - Sapporo (2017.9.24-2017.9.28)] 2017 Eighth International Workshop on Signal Design and Its Applications in Communications (IWSDA) - Constructions of Gaussian integer Z-periodic complementary sequence setsChen, Xiaoyu; Li, Yubo; Peng, Xiuping; Lin, Hongbin · 2017
Monadic logic programs and functional complexityArmando B. Matos · 1997
Linear programs in a simple reversible languageArmando B. Matos · 2003
An introduction to ultimately periodic sets of integersMatos, Armando B. · ACM SIGACT News · 1994
The efficiency of primitive recursive functions: A programmer's viewMatos, Armando B. · Theoretical Computer Science · 2015
A matrix model for the flow of control in prolog programs with applications to profilingArmando B. Matos · 1994
Profiling Water-Soluble Organic Matter from Urban Aerosols Using Comprehensive Two-Dimensional Liquid ChromatographyMatos, João T. V.; Freire, Sandra M. S. C.; Duarte, Regina M. B. O.; Duarte, Armando C. · Aerosol Science and Technology · 2015
Tracing of aerosol sources in an urban environment using chemical, Sr isotope, and mineralogical characterizationDuarte, Regina M. B. O.; Matos, João T. V.; Paula, Andreia S.; Lopes, Sónia P.; Ribeiro, Sara; Santos, José Francisco; Patinha, Carla; da Silva, Eduardo Ferreira; Soares, Rosário; Duarte, Armando C. · Environmental Science and Pollution Research · 2017