Reversible session-based pi-calculus (Q492908): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q10 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6474616 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
reversible computing | |||
| Property / zbMATH Keywords: reversible computing / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
pi-calculus | |||
| Property / zbMATH Keywords: pi-calculus / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
session types | |||
| Property / zbMATH Keywords: session types / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
session-based programming | |||
| Property / zbMATH Keywords: session-based programming / rank | |||
Normal rank | |||
Revision as of 22:14, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reversible session-based pi-calculus |
scientific article |
Statements
Reversible session-based pi-calculus (English)
0 references
21 August 2015
0 references
reversible computing
0 references
pi-calculus
0 references
session types
0 references
session-based programming
0 references
