MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Expressive Power of CCS." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

A Note on Scope and Infinite Behaviour in CCS-like Calculi
by Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
… study on the relative expressive power of some representative variants of CCS found in the literature…
Add To MetaCart

History-Dependent Automata
by Ugo Montanari, Ugo Montanari, Marco Pistore, Marco Pistore — 1998 — Electr. Notes in Th. Comp. Sci
… expressive power that CCS: in fact it permits to generate dynamically new channels and to change…
Cited by 14 (1 self) – Add To MetaCart

A Tutorial on Process Algebraic Specification
by Mantis H. M. Cheng — 1992
… and provides the most expressive power of CCS. Actions can be 3 localized (internalized) within an agent using…
Add To MetaCart

Specification and Verification of Synchronizing
by Concurrent Objects Gabriel, Gabriel Ciobanu, Dorel Lucanu — 2004 — In E.Boiten, J.Derrick, and G.Smith (Eds.) Integrated Formal Methods 2004, Lecture Notes in Computer Science
… patterns of interaction between objects and preserve the expressive power of CCS and its Hennessy…
Add To MetaCart

Communicating Concurrent Objects in HiddenCCS
by Gabriel Ciobanu, Dorel Lucanu — 2004
… patterns of interaction and preserve the expressive power of CCS. Hidden algebra takes as basic the notion…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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