Searching for "Bi-inductive structural semantics." – 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.

Bi-inductive Structural Semantics (Extended Abstract)
by Patrick Cousot
…Abstract SOS 2007 Bi-inductive Structural Semantics (Extended Abstract) Patrick Cousot 1…
Add To MetaCart

SOS 2007 Preliminary Version Bi-inductive Structural Semantics (Extended Abstract)
by unknown authors
… SOS 2007 Preliminary Version Bi-inductive Structural Semantics (Extended Abstract) Patrick…
Add To MetaCart

Preface Special Issue on Structural Operational Semantics
by Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski
… of process equivalences and defining congruence formats. 8. Bi-inductive Structural Semantics, by Patrick…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB