Concurrent Nets | Zendy

Emmanuel Beffara | Zendy; François Maurel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Concurrent Nets

Author(s) -

Emmanuel Beffara,

François Maurel

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.11.029

Subject(s) - computer science , prefix , monotonic function , formalism (music) , calculus (dental) , intuition , theoretical computer science , programming language , discrete mathematics , mathematics , linguistics , cognitive science , medicine , art , mathematical analysis , musical , philosophy , psychology , dentistry , visual arts

We introduce the calculus of concurrent nets as an extension of the fusion calculus in which usual prefixing is replaced by arbitrary monotonic guards. Then we use this formalism to describe the prefixing policy of standard calculi as a particular form of communication. By developing a graphical syntax, we sharpen the geometric intuition and finally we provide an encoding of these guards as causality in the prefix-free fragment, in the spirit of the encoding of the fusion calculus into solos by Laneve and Victor, proving that communication by fusion is expressive enough to implement arbitrary monotonic guards

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research