Reading PAGE

Peer Evaluation activity

Views 12

Total impact ?

    Send a

    Ivan has...

    Trusted 0
    Reviewed 0
    Emailed 0
    Shared/re-used 0
    Discussed 0
    Invited 0
    Collected 0

     

    This was brought to you by:

    block this user Ivan Lanese Trusted member

    Assistant Professor

    Computer Science Department, University of Bologna, Bologna, Italy

    PRISMA: A mobile calculus with parametric synchronization

    Export to Mendeley

    . We present PRISMA, a parametric calculus that can be in-stantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing that thesecond one is compositional for any SAM. We give examples based on heterogeneous SAMs, a case study on Fusion Calculus and some simple applications. Finally, we show that basic categorical tools can help torelate and to compose SAMs and PRISMA processes in an elegant way. 1 Introduction Since the pioneering papers by Robin Milner 16 and Tony Hoare 10, the useof process description languages has kept proliferating at an impressive rate. Though nowadays the most prominent calculus is the Theta-calculus 17, many vari-ants of it exist (see, e.g., the nice commented survey in 4), exploiting different communication primitives and focusing on different aspects, but where interac-tion is a key issue 18,8,3,1. While process calculi are used for modeling different kinds of systems, rangingfrom computer networks to biological systems, at different levels of abstraction, typically each calculus relies on just one fixed communication mechanism. Whena different communication protocol is needed, either it is encoded using the available mechanism, and this may be quite difficult and may obfuscate the model,or a new ad hoc calculus providing this primitive is developed. For instance, 7 introduces a broadcast variant of Theta-calculus, while 6 proves that there is nouniform encoding of it into the

    Oh la laClose

    Your session has expired but don’t worry, your message
    has been saved.Please log in and we’ll bring you back
    to this page. You’ll just need to click “Send”.

    Your evaluation is of great value to our authors and readers. Many thanks for your time.

    Review Close

    Short review
    Select a comment
    Select a grade
    You and the author
    Anonymity My review is anonymous( Log in  or  Register )
    publish
    Close

    When you're done, click "publish"

    Only blue fields are mandatory.

    Relation to the author*
    Overall Comment*
    Anonymity* My review is anonymous( Log in  or  Register )
     

    Focus & Objectives*

    Have the objectives and the central topic been clearly introduced?

    Novelty & Originality*

    Do you consider this work to be an interesting contribution to knowledge?

    Arrangement, Transition and Logic

    Are the different sections of this work well arranged and distributed?

    Methodology & Results

    Is the author's methodology relevant to both the objectives and the results?

    Data Settings & Figures

    Were tables and figures appropriate and well conceived?

    References and bibliography

    Is this work well documented and has the bibliography been properly established?

    Writing

    Is this work well written, checked and edited?

    Write Your Review (you can paste text as well)
    Please be civil and constructive. Thank you.


    Grade (optional, N/A by default)

    N/A 1 1.5 2 2.5 3 3.5 4 4.5 5 5.5 6 6.5 7 7.5 8 8.5 9 9.5 10
    Close

    Your mailing list is currently empty.
    It will build up as you send messages
    and links to your peers.

     No one besides you has access to this list.
    Close
    Enter the e-mail addresses of your recipients in the box below.  Note: Peer Evaluation will NOT store these email addresses   log in
    Your recipients

    Your message:

    Your email : Your email address will not be stored or shared with others.

    Your message has been sent.

    Description

    Title : PRISMA: A mobile calculus with parametric synchronization
    Author(s) : Roberto Bruni, Ivan Lanese
    Abstract : . We present PRISMA, a parametric calculus that can be in-stantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing that thesecond one is compositional for any SAM. We give examples based on heterogeneous SAMs, a case study on Fusion Calculus and some simple applications. Finally, we show that basic categorical tools can help torelate and to compose SAMs and PRISMA processes in an elegant way. 1 Introduction Since the pioneering papers by Robin Milner 16 and Tony Hoare 10, the useof process description languages has kept proliferating at an impressive rate. Though nowadays the most prominent calculus is the Theta-calculus 17, many vari-ants of it exist (see, e.g., the nice commented survey in 4), exploiting different communication primitives and focusing on different aspects, but where interac-tion is a key issue 18,8,3,1. While process calculi are used for modeling different kinds of systems, rangingfrom computer networks to biological systems, at different levels of abstraction, typically each calculus relies on just one fixed communication mechanism. Whena different communication protocol is needed, either it is encoded using the available mechanism, and this may be quite difficult and may obfuscate the model,or a new ad hoc calculus providing this primitive is developed. For instance, 7 introduces a broadcast variant of Theta-calculus, while 6 proves that there is nouniform encoding of it into the
    Subject : unspecified
    Area : Other
    Language : English
    Year : 2006

    Affiliations Computer Science Department, University of Bologna, Bologna, Italy
    Conference_title : TGC
    Publisher : Springer
    Pages : 132-149
    Url : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.1735

    Leave a comment

    This contribution has not been reviewed yet. review?

    You may receive the Trusted member label after :

    • Reviewing 10 uploads, whatever the media type.
    • Being trusted by 10 peers.
    • If you are blocked by 10 peers the "Trust label" will be suspended from your page. We encourage you to contact the administrator to contest the suspension.

    Does this seem fair to you? Please make your suggestions.

    Please select an affiliation to sign your evaluation:

    Cancel Evaluation Save

    Please select an affiliation:

    Cancel   Save

    Ivan's Peer Evaluation activity

    Ivan has...

    Trusted 0
    Reviewed 0
    Emailed 0
    Shared/re-used 0
    Discussed 0
    Invited 0
    Collected 0
    Invite this peer to...
    Title
    Start date (dd/mm/aaaa)
    Location
    URL
    Message
    send
    Close

    Full Text request

    Your request will be sent.

    Please enter your email address to be notified
    when this article becomes available

    Your email


     
    Your email address will not be shared or spammed.