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影响因子(影响力)学科排名




书目名称International Symposium on Programming网络公开度




书目名称International Symposium on Programming网络公开度学科排名




书目名称International Symposium on Programming被引频次




书目名称International Symposium on Programming被引频次学科排名




书目名称International Symposium on Programming年度引用




书目名称International Symposium on Programming年度引用学科排名




书目名称International Symposium on Programming读者反馈




书目名称International Symposium on Programming读者反馈学科排名

支形吊灯

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

暗指