A Fully Abstract Trace Semantics for General References (Q5428848)
From MaRDI portal
scientific article; zbMATH DE number 5215606
Language | Label | Description | Also known as |
---|---|---|---|
English | A Fully Abstract Trace Semantics for General References |
scientific article; zbMATH DE number 5215606 |
Statements
A Fully Abstract Trace Semantics for General References (English)
0 references
28 November 2007
0 references