Titlebook: Recent Trends in Algebraic Development Techniques; 19th International W Andrea Corradini,Ugo Montanari Conference proceedings 2009 Springer

欺侮

書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)




書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)學(xué)科排名




書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度




書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Recent Trends in Algebraic Development Techniques被引頻次




書目名稱Recent Trends in Algebraic Development Techniques被引頻次學(xué)科排名




書目名稱Recent Trends in Algebraic Development Techniques年度引用




書目名稱Recent Trends in Algebraic Development Techniques年度引用學(xué)科排名




書目名稱Recent Trends in Algebraic Development Techniques讀者反饋




書目名稱Recent Trends in Algebraic Development Techniques讀者反饋學(xué)科排名

Visual-Acuity

https://doi.org/10.1007/978-3-642-03429-9algebra; distributed specifications; graph theory; linear time; minimum spanning tree; molecular automata

現(xiàn)任者

978-3-642-03428-2Springer-Verlag Berlin Heidelberg 2009

清真寺

Recent Trends in Algebraic Development Techniques978-3-642-03429-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

SENT

補(bǔ)充

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process CalculiWe investigate Leifer-Milner . for CCS and .-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.

開始沒有

A Term-Graph Syntax for Algebras over MultisetsEarlier papers argued that term graphs play for the specification of relation-based algebras the same role that standard terms play for total algebras. The present contribution enforces the claim by showing that term graphs are a sound and complete representation for ., i.e., algebras whose operators are interpreted over multisets.

束以馬具

C-semiring Frameworks for Minimum Spanning Tree Problemslgorithms that can compute such trees by following different cost criteria, which must be all specific instantiation of c-semirings. Our algorithms are extensions of well-known procedures, as Prim or Kruskal, and show the expressivity of these algebraic structures. They can deal also with partially-ordered costs on the edges.

Celiac-Plexus

Generalized Theoroidal Institution Comorphismse implementation of Heterogeneous Tool Set .. We discuss the impact of this generalization on the level of heterogenous specifications, by presenting the Grothendieck construction over a diagram of institutions and translations modelled as generalized comorphisms. Conditions for heterogeneous proofs are also evaluated.

myelography