Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus |
scientific article |
Statements
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (English)
0 references
6 December 2013
0 references
asynchronous pi-calculus
0 references
linearity
0 references
persistence
0 references
testing semantics
0 references