You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@ode.apache.org by "Hadrian Zbarcea (JIRA)" <ji...@apache.org> on 2014/01/13 03:41:50 UTC
[jira] [Created] (JACOB-6) Add a simplified Pi Calculus DSL
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)