Searching for "Algebraic derivation of an operational semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Overview of Milner’s work
by Riccardo Pucella — 2001
…. Algebraic Derivation of an Operational Semantics. Hoare, Jifeng and Sampaio show how one can derive…
Add To MetaCart

Proof, Language, and Interaction: Essays in Honour of Robin Milner
by Edited By Plotkin, C. Stirling, M. Tofte, Riccardo Pucella
…. Algebraic Derivation of an Operational Semantics. Hoare, Jifeng and Sampaio show how one can derive…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB