Searching for "Logical Specification of 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.

Logical Specification of Operational Semantics
by Peter D. Mosses, Peter D. Mosses, Peter D. Mosses — 1999 — In CSL'99, Proc. Conf. on Computer Science Logic, volume 1683 of LNCS
…BRICS RS-99-55 P . D. Mosses: Logical Specification of Operational Semantics BRICS Basic Research…
Cited by 3 (2 self) – Add To MetaCart

A Specification Logic for Concurrent Object-Oriented Programming
by G. Delzanno, D. Galmiche, M. Martelli — 1999
… for the specification of the operational semantics of advanced concepts of programming, and, in particular…
Add To MetaCart

Showing 1 through 2.

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