[jira] [Created] (JACOB-6) Add a simplified Pi Calculus DSL

[Hadrian Zbarcea (JIRA)]

Hadrian Zbarcea created JACOB-6:
-----------------------------------

             Summary: Add a simplified Pi Calculus DSL
                 Key: JACOB-6
                 URL: https://issues.apache.org/jira/browse/JACOB-6
             Project: ODE JaCOb
          Issue Type: New Feature
          Components: jacob
            Reporter: Hadrian Zbarcea
            Assignee: Hadrian Zbarcea
             Fix For: 2.0-beta1


The current API based on instance/object is a bit hard to follow plus it 
doesn't map naturally to the pi calculus concepts Jacob models.




--
This message was sent by Atlassian JIRA
(v6.1.5#6160)