An Algebra for Directed Bigraphs (Q2870313): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.entcs.2008.03.033 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: Publication / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.033 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1973355342 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matching of Bigraphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata, Languages and Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4536373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Directed Bigraphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reactive Systems over Directed Bigraphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4791828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axioms for bigraphical structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pure bigraphs: structure and dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local Bigraphs and Confluence: Two Conjectures / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.ENTCS.2008.03.033 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:15, 20 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An Algebra for Directed Bigraphs |
scientific article |
Statements
An Algebra for Directed Bigraphs (English)
0 references
17 January 2014
0 references
bigraphical models
0 references
categorical meta-models for concurrency
0 references
fusion calculus
0 references