Searching for "Turning SOS Rules into Equations" – 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.

Turning SOS Rules into Equations
by L. Aceto, B. Bloom, F.W. Vaandrager, F. W. Va, Luca Aceto, Corso Italia, Bard Bloom, Frits Vaandrager — 1994
…Centrum voor Wiskunde en Informatica REPORTRAPPORT Turning SOS rules into equations L. Aceto, B…
Cited by 68 (14 self) – Add To MetaCart

A pi-calculus with Explicit Substitutions: the Late Semantics
by Gianluigi Ferrari, Ugo Montanari, Paola Quaglia — 1994
… derived by turning SOS rules into equations. Moreover, this formulation of the -calculus is promising…
Add To MetaCart

Showing 1 through 2.

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