Searching for "A Graphical Parallel Composition Operator for Process Algebras." – 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.

A Graphical Parallel Composition Operator for Process Algebras
by Hubert Garavel, Mihaela Sighireanu, Inria Rhone-alpes, Dyade Vasy Group — 1998 — In Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV’99
…A Graphical Parallel Composition Operator for Process Algebras Hubert Garavel and Mihaela…
Cited by 11 (0 self) – Add To MetaCart

Iso/iec Jtc1/sc7 N1995
by Document Type Letter, Enhancements To Lotos (e-lotos, Australia X X, Canada X X, Mexico X, Romania X, Thailand X — 1998
… that the parallel composition operators commonly found in usual process algebras are often limited in expressiveness…
Add To MetaCart

Showing 1 through 2.

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