Titlebook: Structures in Concurrency Theory; Proceedings of the I J?rg Desel Conference proceedings 1995 British Computer Society 1995 algebra.calculu

foresight

書目名稱Structures in Concurrency Theory影響因子(影響力)




書目名稱Structures in Concurrency Theory影響因子(影響力)學科排名




書目名稱Structures in Concurrency Theory網(wǎng)絡(luò)公開度




書目名稱Structures in Concurrency Theory網(wǎng)絡(luò)公開度學科排名




書目名稱Structures in Concurrency Theory被引頻次




書目名稱Structures in Concurrency Theory被引頻次學科排名




書目名稱Structures in Concurrency Theory年度引用




書目名稱Structures in Concurrency Theory年度引用學科排名




書目名稱Structures in Concurrency Theory讀者反饋




書目名稱Structures in Concurrency Theory讀者反饋學科排名

怒目而視

https://doi.org/10.1007/978-1-4471-3078-9algebra; calculus; concurrency; recursion

沒花的是打擾

內(nèi)部

ellagic-acid

共和國

The Three Dimensions of Semantics,In Semantics, one studies functions .: . → ., mapping the language . to a semantic domain .. We provide an overview of recent progress along the axes

exhilaration

CALIBAN - Esprit Basic Research WG 6067,This paper describes the results of the Esprit Basic Research Working Group 6067 CALIBAN (Causal Calculi Based on Nets).

變量

Refinement and Recursion in a High Level Petri Box Calculus,The algebra of A-nets, a high level class of labelled Petri nets introduced in the Petri Box Calculus in order to cope with structured data, is extended with a general refinement operator and, based thereon, a general recursion operator; their properties may directly be derived from the corresponding operators for the low level Petri Boxes.

PANEL

ases, including systems having priority, developments lead to procedures or formulae that yield numerical results from which sensitivity of queueing behavior to parameter variation can be explored.? In several cases multiple approaches to computing distributions are presented...Queueing Theory with

Ophthalmoscope

Eike Best,Raymond Devillers,Elisabeth Pelz,Arend Rensink,Manuel Silva,Enrique Teruelases, including systems having priority, developments lead to procedures or formulae that yield numerical results from which sensitivity of queueing behavior to parameter variation can be explored.? In several cases multiple approaches to computing distributions are presented...Queueing Theory with