Normal forms for algebras of connections. (Q1853455): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Maude / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4890709 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LEAN: An intermediate language based on graph rewriting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222992 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222985 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3485876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classes of finite relations as initial abstract data types. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maude: specification and programming in rewriting logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4362962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic presentation of term graphs, via gs-monoidal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4941927 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatizing the algebra of net computations and processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tile formats for located and mobile systems. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499230 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4219030 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4513619 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3024908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3931190 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bicategories of processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4373555 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5655527 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4371024 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculi for interaction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contextual nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graph rewriting, constraint solving and tiles for coordinating distributed systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4090505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Premonoidal categories and notions of computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categories of partial maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatization of the algebra of Petri net concatenable processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On flowchart theories. II: The nondeterministic case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4550552 / rank | |||
Normal rank |
Latest revision as of 11:25, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Normal forms for algebras of connections. |
scientific article |
Statements
Normal forms for algebras of connections. (English)
0 references
21 January 2003
0 references
Concurrent and distributed systems
0 references
Diagrammatic specification techniques
0 references
Graphical formalisms
0 references