CASheW-s Engine - Tasks: task #3694, Implement CaSHew-NUtS Process...
You are not allowed to post comments on this tracker with your current authentication level.
task #3694: Implement CaSHew-NUtS Process Algebra
Submitter: | Simon Foster <repton> | ||
Submitted: | Tue 01 Feb 2005 06:48:34 PM UTC | ||
Should Start On: | Tue 01 Feb 2005 12:00:00 AM UTC | Should be Finished on: | Fri 04 Feb 2005 12:00:00 AM UTC |
Category: | None | Priority: | 9 - Immediate |
Status: | None | Privacy: | Public |
Assigned to: | repton | Percent Complete: | 20% |
Open/Closed: | Open | Effort: | 6.00 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
CC list is empty
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
No changes have been made to this item
Powered by Savane 3.13-caa5.
Corresponding source code
The eventual creation of the workflow engine requires that we can build operational semantics in the CaSHew-NUtS process algebra. We already have an implementation of it's predecessor CaSE, this task will make the necessary extensions.