Bigraphs and transitions (Q2942911)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bigraphs and transitions |
scientific article |
Statements
Bigraphs and transitions (English)
0 references
11 September 2015
0 references
\(\pi\)-calculus
0 references
bigraph
0 references
bisimilarity
0 references
mobile computation
0 references
reactive system
0 references
transition system
0 references
