Titlebook: International Symposium on Programming; Proceedings of the F Bernard Robinet Conference proceedings 1980 Springer-Verlag Berlin Heidelberg

厭倦了我

書目名稱International Symposium on Programming影響因子(影響力)




書目名稱International Symposium on Programming影響因子(影響力)學(xué)科排名




書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度




書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱International Symposium on Programming被引頻次




書目名稱International Symposium on Programming被引頻次學(xué)科排名




書目名稱International Symposium on Programming年度引用




書目名稱International Symposium on Programming年度引用學(xué)科排名




書目名稱International Symposium on Programming讀者反饋




書目名稱International Symposium on Programming讀者反饋學(xué)科排名

支形吊燈

Processus non-sequentiels et leurs observations en univers non-centralise,, indispensable en univers non-centralisé, permet de définir une classe de processus qui étend la classe des processus non-séquentiels à observations séquentielles. Nous comparons les propriétés des processus ainsi définis à celles des "domaines concrets".

Bother

An algebraic structure of petri nets, compactness, fireability and K-density of marked nets are discussed. A classification of nets is proposed and an attempt of the algebraic definition of net with properties required from "well defined" dynamic concurrent system is given.

LINE

Processes

Concrete control phases in languages for programming complex systems,ing through; further, that the enablement of the main program actions should depend primarily on the presence or absence of these phase objects. Another hypothesis is that phase objects should also constitute the (dynamically changing) hierarchy of system components. Some problems and benefits are discussed.

少量

On relations between programs, programs and computational structures, which help to get a better understanding of both programming languages and the programming activity. In particular, the study of relations between nondeterministic programs allows to compare different concepts of nondeterminism.

Ige326

Abominate

Lamina

暗指