MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Algebraic Operational Semantics and Occam." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Algebraic Operational Semantics and Occam
by Yuri Gurevich, Lawrence S. Moss — 1990 — in the Proceedings of CSL'89
…Algebraic Operational Semantics and Occam Yuri Gurevich 1;2 Lawrence S. Moss 3 Abstract We…
Cited by 23 (5 self) – Add To MetaCart

Implementation of Dynamic Algebras with an Application to Prolog
by Angelica Maria Kappel, Lehrstuhl Informatik V — 1994
… 12, 1994 Contents 1 Introduction 1 2 Algebraic Operational Semantics 3 2.1 Motivation…
Cited by 1 (1 self) – Add To MetaCart

Abstract state machines at the cusp of the millenium
by Egon Börger — 2000 — Abstract State Machines: Theory and Applications, number 1912 in LNCS
…–101. Springer-Verlag, 1988. 27. Y. Gurevich and L. A. Moss. Algebraic operational semantics and occam. In Börger…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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