Searching for "Laws in Miranda." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Concurrency in the lambda-calculus: Higher-order Concurrent Constraint Programming (Extended Abstract)
by Vijay A. Saraswat — 1991
… cooperation between concurrently executing agents. Laws in Miranda [Tho86] do allow the definition and use…
Add To MetaCart

Showing 1 through 1.

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