#5 open
Douglas Creager

Need to implement “interrupt” operator

Reported by Douglas Creager | April 27th, 2008 @ 07:41 PM | in 1.0-α5

This is related to ticket #4 — since what we actually implemented before was “timeout”, we should now go ahead and implement the real “interrupt” operator.

Comments and changes to this ticket

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.

People watching this ticket

Tags

Pages