Searching for "Open Bisimulation for the Concurrent Constraint Pi-Calculus." – 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.

Open Bisimulation for the Concurrent Constraint Pi-calculus ⋆
by Maria Grazia Buscemi, Ugo Montanari
…Open Bisimulation for the Concurrent Constraint Pi-calculus ⋆ Maria Grazia Buscemi 1 and Ugo…
Cited by 1 (0 self) – Add To MetaCart

Welcome to Malta!
by Gordon J. Pace, Gerardo Schneider, Of Contract-oriented Software, Gordon J. Pace, Gerardo Schneider (editors, Anders P. Ravn Aalborg, Gordon J. Pace, Gerardo Schneider, Maria Grazia Buscemi, Ugo Montanari, María Emilia Cambronero, Gregorio Díaz, Valentín Valero — 2008
…. Buscemi and U. Montanari. Open bisimulation for the concurrent constraint pi-calculus. In Proc. ESOP…
Add To MetaCart

Showing 1 through 2.

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