CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

The parallel composition of processes

by: de Francesco, N. Sabadini, R. F. C. Walters
(25 Apr 2009)

X Abstract

We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying broadcast communication.

View the full article here:

arXiv (abstract), arXiv (PDF)

This article has been bookmarked 3 times, initially on 2009-05-02.

2009-07-24 User leemond31
2009-06-22 User Scis0000002
2009-05-02 User jrw
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.